User loginNavigation 
Extensible Effects  An Alternative to Monad TransformersExtensible Effects  An Alternative to Monad Transformers, by Oleg Kiselyov, Amr Sabry and Cameron Swords:
A followup to Oleg's delimited continuation adaptation of Cartwright and Felleisen's work on Extensible Denotational Language Specifications, which is a promising alternative means of composing effects to the standard monad transformers. This work embeds a userextensible effect EDSL in Haskell by encoding all effects into a single effect monad using a novel open union type and the continuation monad. The encoding is very similar to recent work on Algebraic Effects and Handlers, and closely resembles a typed clientserver interaction ala coroutines. This seems like a nice convergence of the topics covered in the algebraic effects thread and other recent work on effects, and it's more efficient than monad transformers to boot. By naasking at 20130729 14:53  Functional  Logic/Declarative  Theory  Type Theory  other blogs  35200 reads

Browse archivesActive forum topicsNew forum topics 
Recent comments
3 days 3 hours ago
3 days 5 hours ago
3 days 9 hours ago
4 days 2 hours ago
4 days 12 hours ago
6 days 2 hours ago
6 days 5 hours ago
6 days 5 hours ago
6 days 10 hours ago
6 days 10 hours ago