This is absolutely fantastic work.<p>Since I've learned about continuation passing style (which Go channels could <i>probably</i> 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 <i>surely</i> be possible to inline a continuation with some foreign architecture. I'd <i>love</i> to see some literature on the more experimental end of this stuff, if anyone has it.