Collapsing Towers of Interpreters: This is the holy grail of compiler optimization tech, which no compiler or interpreter quite manages to achieve. http://lampwww.epfl.ch/~amin/pub/collapsing-towers.pdf …
-
-
However, we also need an approach for iterating over collections of values produced by arbitrary sources where production and consumption are separated modularity. I believe first-class failure and backtracking rather than coroutines are the right answer.
-
In all of these cases, the high level features I proposed could be implemented internally using coroutines as a low-level building block. They more cleanly separate present from past than functional continuation-passing-style.
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.