Blogs (27) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Thu 7 Sep 2017 16:50 - 17:15 at L3 - Effects

Surprisingly, we can write non-deterministic programs in an ML-like language just as naturally and elegantly as in the functional-logic language Curry – ML’s call-by-value and the lack of support for monads notwithstanding. The key idea is to forget about (the popular conception of) monads and to write non-deterministic computations in a small, tagless-final embedded DSL, with ML playing the role of the `preprocessor’. The DSL turns out surprisingly small, essentially first-order – compensated by the richness of the Meta Language.

Thu 7 Sep

mlfamilyworkshop-2017-papers
16:50 - 17:40: ML 2017 - Effects at L3
mlfamilyworkshop-2017-papers150479580000016:50 - 17:15
Talk
mlfamilyworkshop-2017-papers150479730000017:15 - 17:40
Talk