Thu Jan 9 09:56:14 CET 2020
Downward closures or iterators?
E.g. Backus' functional forms.
Does it matter? Maybe they are really the same in most use cases?
The core question is: does a closure need to be treated as a value, or
is it always immediately "inlined".
I don't think closures will be that hard to implement, as they just
have a pointer to an extra stack frame. It's also only just one stack
frame. Note that it is the _thread_ that has multiple frames (the
continuation is compisitional). Closures close only over their local