https://kotlinlang.org logo
#arrow
Title
p

pakoito

05/04/2019, 1:11 PM
you end up with a model where
(A) -> B
defines pure computations, and both
suspend (A) -> B
and
(A) -> Kind<F, B>
represent sequencing of events that can fail or have different semantics, like changing threads, or paralellism