User loginNavigation |
Yield : Mainstream Delimited Continuations; "yield" from different languages compared and formalizedYield : Mainstream Delimited Continuations (PDF), by Roshan P. James and Amr Sabry, TPDC 2011
I found this work interesting on two different aspects : first, the link between yield and delimited continuations, if not particularly surprising, is nice, and I hope it will interest the participants to the recent delimited-continuation-rage on LtU. I have actually found this paper in one recet LtU thread, but consider it deserve its own topic. Secondly, I like the idea of comparing related features of different programming languages in a precise, formal way, that is by expressing them all in a common theoretical framework. I would be interested in more references to similar work, for completely unrelated features. After a very quick googling, I found blog posts that partially display similar ambition, such as Comparing Java and C# Generics by Jonathan Pryor, 2007 -- I'm still unsatisfied though, I think generics would make for a very good target for cross-languages comparisons. The present paper has been mentioned in a few places on the web (two Hacker News thread, one posting on a Mozilla mailing-list), but not generated any discussion that I noticed. You may be interested, however, on the plans for future work of the same authors detailed for a recent workshop, Oleg implementation of yield on top of its Delimcc Ocaml library, and, for those that need to know whether it's a left or right Khan extension to grasp a notion, The Comonad.Reader reconstruction of the paper. By gasche at 2011-09-09 08:33 | LtU Forum | previous forum topic | next forum topic | other blogs | 14020 reads
|
Browse archives
Active forum topics |
Recent comments
16 weeks 1 day ago
16 weeks 1 day ago
16 weeks 2 days ago
38 weeks 3 days ago
42 weeks 5 days ago
44 weeks 2 days ago
44 weeks 2 days ago
47 weeks 4 hours ago
51 weeks 4 days ago
51 weeks 4 days ago