2 code implementations • 28 Oct 2017 • James Koppel, Gabriel Scherer, Armando Solar-Lezama
Along the way, we explain delimited continuations and monadic reflection, show how the Filinski construction lets thermometer continuations express any monadic effect, share an elegant special-case for nondeterminism, and discuss why our construction is not prevented by theoretical results that exceptions and state cannot macro-express continuations.
Programming Languages