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