Effects Without Monads: Non-determinism -- Back to the Meta Language · HackerPapers discussions

Effects Without Monads: Non-determinism -- Back to the Meta Language — mentioned by cultus

Sun, 22 Nov 2020 16:37:44 GMT

Also see Oleg's "Effects without Monads: Non-determinism -- Back to the Meta-Language" https://arxiv.org/abs/1905.06544

Paper and discussion history. A mention is not an endorsement.

Effects Without Monads: Non-determinism -- Back to the Meta Language — HN submission

Tue, 18 Jun 2019 08:05:06 GMT

Effects Without Monads: Non-Determinism – Back to the Meta Language

14 points; 1 discussion reply on HN. Paper and source history. A submission is not an endorsement.

Effects Without Monads: Non-determinism -- Back to the Meta Language — mentioned by danidiaz

Wed, 22 May 2019 20:46:10 GMT

Section 7 of "A History of Haskell: Being Lazy With Class" http://haskell.cs.yale.edu/wp-content/uploads/2011/02/histor... explains how Haskell IO was done in the pre-IO monad days. This recent paper by Oleg Kiselyov ("Effects Without Monads: Non-determinism Back to the Meta Language" https://arxiv.org/abs/1905.06544 https://www.youtube.com/watch?v=fABeIG_HiyU) explores an alternative to monads for structuring effectful computations in OCaml. The effect used in the examples is nondeterminism, instead of IO. The ICFP presentation "Automatically escaping Monads" is also interesting…

Paper and discussion history. A mention is not an endorsement.