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  32562 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  25227 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  31412 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  33342 reads

Browse archives
Active forum topicsNew forum topics 
Recent comments
1 week 5 days ago
1 week 5 days ago
1 week 6 days ago
2 weeks 21 hours ago
2 weeks 6 days ago
3 weeks 13 hours ago
3 weeks 21 hours ago
3 weeks 1 day ago
3 weeks 5 days ago
4 weeks 23 hours ago