4 ms·
This is absolutely fantastic work. Since I've learned about continuation passing style (which Go channels could probably be formally transformed into), I've be
by zamalek 10y ago
This is absolutely fantastic work.
Since I've learned about continuation passing style (which Go channels could probably be formally transformed into), I've been convinced that there's a better way to do codegen. Better calling convention, better stack representation, better instruction architecture; I'm not yet sure - it's a nag continuously at the back of my mind, almost as though it's at the tip of my tongue. In this specific case, it must surely be possible to inline a continuation with some foreign architecture. I'd love to see some literature on the more experimental end of this stuff, if anyone has it.
- pjmlp 10y agoAre you aware of "Compiling with Continuations? https://www.amazon.com/Compiling-Continuations-Andrew-W-Appel/dp/052103311X https://www.amazon.com/Compiling-Continuations-Andrew-W-Appe...
- hinkley 10y agoThat's an interesting read. One of only a handful of tech books I've read twice. It's thin and doesn't repeat itself all that much so if you read it twice it's still faster than reading most tech books once. More recently though I heard someone proved mathematically that CPS can be transformed one-for-one into one of the more conventional models. That doesn't mean it might not still be easier for the humans to deal with however.
- tmzt 10y agoSomething like this, in Rust? https://aturon.github.io/blog/2016/08/11/futures/ https://aturon.github.io/blog/2016/08/11/futures/