- 2021-03-23:
You have
[a]
and(a -> IO b)
.You want
IO [(a, b)]
That is, you want to pair your inputs to their outputs for further processing in the IO-domain.
- Chris Martin @chris__martin:
\as f -> traverse @ [] @ IO (\a -> f a >>= \b ->
return (a, b)) as
- cλementd Children crossing @clementd:
traverse (sequenceA . id &&& f)
(actually,
tranverse (sequence . (id &&& f))
)Or
p traverse (traverse f . dup)
- Chris Martin @chris__martin:
- 2021-03-23: You have
[([a], [b])]
You want
([a], [b])
so:
[([1,2], ["hi"]), ([3,4], ["bye"])]
becomes
([1,2,3,4],["hi","bye"])
- karakfa @karakfa:
conc xs = (concatMap fst xs, concatMap snd xs)
- karakfa @karakfa:
Incorporates strong typing over predicate logic programming, and, conversely, incorporates predicate logic programming into strongly typed functional languages. The style of predicate logic is from Prolog; the strongly typed functional language is Haskell.
Tuesday, March 23, 2021
March 2021 1HaskellADay 1Liners
Subscribe to:
Post Comments (Atom)
1 comment:
For this, you are provided with official website medicine links. kolkataff
Post a Comment