User loginNavigation 
EffectsImplementing Algebraic Effects in CImplementing Algebraic Effects in C by Daan Leijen:
Another great paper by Daan Leijen, this time on a C library with immediate practical applications at Microsoft. The applicability is much wider though, since it's an ordinary C library for defining and using arbitrary algebraic effects. It looks pretty usable and is faster and more general than most of the C coroutine libraries that already exist. It's a nice addition to your toolbox for creating language runtimes in C, particularly since it provides a unified, structured way of creating and handling a variety of sophisticated language behaviours, like async/await, in ordinary C with good performance. There has been considerable discussion here of C and lowlevel languages with green threads, coroutines and so on, so hopefully others will find this useful! By naasking at 20170727 13:50  Effects  Implementation  Lambda Calculus  Semantics  login or register to post comments  other blogs  16982 reads
No value restriction is needed for algebraic effects and handlersNo value restriction is needed for algebraic effects and handlers, by Ohad Kammar and Matija Pretnar:
Looks like a nice integration of algebraic effects with simple HindlyMilner, but which yields some unintuitive conclusions. At least I certainly found the possibility of supporting dynamically scoped state but not reference cells surprising! It highlights the need for some future work to support true reference cells, namely a polymorphic type and effect system to generate fresh instances. By naasking at 20160525 13:54  Effects  Functional  Type Theory  login or register to post comments  other blogs  24357 reads
Programming with Algebraic Effects and HandlersProgramming with Algebraic Effects and Handlers. Andrej Bauer and Matija Pretnar, arXiv preprint.
Eff has been discussed here before, and it's nice to see some more progress and a much more complete introduction. The paper is intended for a general audience (well, a general audience of PL enthusiasts). It's quite clear and contains a wealth of examples. By Matt Hellige at 20120313 05:46  Effects  Functional  18 comments  other blogs  29513 reads
Eff  Language of the FutureThis is just a series of blog posts so far, as far as I can tell. But Andrej Bauer's work has been mentioned here many times, I am finding these posts extremely interesting, and I'm sure I will not be alone. So without further ado... Programming With Effects. Andrej Bauer and Matija Pretnar.
By Matt Hellige at 20100929 02:30  Effects  Fun  Functional  Theory  10 comments  other blogs  32365 reads

Browse archivesActive forum topics

Recent comments
4 hours 47 min ago
2 days 7 hours ago
2 days 7 hours ago
3 days 17 hours ago
3 days 23 hours ago
4 days 10 hours ago
4 days 20 hours ago
5 days 3 min ago
5 days 5 hours ago
5 days 5 hours ago