@Blaisorblade @BanjoTragedy @Hillelogram @mrkgrnao @mattoflambda You've linked to the same paper I used as the motivation for this exercise: https://t.co/7YGrHjjdft
2,425 followers
379 followers
RT @pressron: @mrkgrnao @Hillelogram @BanjoTragedy @mattoflambda In 1993/4 Wadler (https://t.co/lN3maWowDh …) and Filinski (https://t.co/y4…
2,425 followers
@mrkgrnao @Hillelogram @BanjoTragedy @mattoflambda In 1993/4 Wadler (https://t.co/lN3maWowDh …) and Filinski (https://t.co/y4dEF3covr …) taken together show that monads are equivalent to delimited continuations. Pipes/channels (when suitably defined) are e
2,425 followers
@Hillelogram P.S. the Wadler paper (https://t.co/lN3maWowDh) and the Filinski paper (https://t.co/y4dEF3covr) combined show that monads are equivalent to delimited continuations, and pipes/channels (suitably defined) are as well.