and the callstack won’t be as ccccclean

Beyond functor, FP terms are a bit fuzzy for me. The idea behind a Monad is something like it takes a string of operations or something? Like IO.fx { A ; B ; C } is theoretically A.flatMap(B).flatMap(C)... -ish?

yes

If I"m wildly wrong, you don't need to bother explaining and clutter up #arrow 🙂

OK groovy

with one *

there’s

Applicative#map

which says IO.fx { A; B; C; } as long as B doesn’t use the result of A, and C doesn’t use the result of A or B

they’re three independent computations

not parallel, not concurrent, just independent

if they depend on each other, if they’re a sequence of events, then it’s a Monad

why is this important? because they’re independent then you can add parallelism

and we have

Concurrent#parMap

for that

and there’s no

parFlatMap

because it doesn’t make sense

OK that was soemthing I'd been planning to look into, whether monad enabled parallelism

monad is just sequencing

no laziness, no parallelism, no concurrency, just sequencing

no error handling either

😄

Gotcha. And yes, parFLatMap not making sense as a concept makes sense to me.

OK toddler is going HAM needing my attention, thanks a bunch for the help!

/lesson

no problem

take care!

what is the mood and the perceived level of effort vs reward to simply build AST parsers in intellij to promote and demote the arrow FP isomorphisms? kotlin is a lot weaker than java in this regard but its not a completely baron landscape

image.png

What is the different between

effect

and

!effect

?

!

is

suspend operator fun IO<A>.not() = this.bind()

aesthetically I like it better, although the compiler fails when used for

IO<Boolean>

so I recommend bind now instead

and for 1.0 it’ll be

val bla by effect { }