User loginNavigation |
Extensible Effects -- An Alternative to Monad TransformersExtensible Effects -- An Alternative to Monad Transformers, by Oleg Kiselyov, Amr Sabry and Cameron Swords:
A follow-up 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 user-extensible 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 client-server 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 2013-07-29 14:53 | Functional | Logic/Declarative | Theory | Type Theory | other blogs | 37416 reads
|
Browse archivesActive forum topics |
Recent comments
1 hour 53 min ago
6 hours 4 min ago
18 hours 37 min ago
18 hours 40 min ago
19 hours 8 min ago
1 day 2 hours ago
1 day 2 hours ago
1 day 2 hours ago
1 day 13 hours ago
1 day 14 hours ago