3 ms·
Is this still true? Has .NET been sufficiently updated to allow full Scheme? This is no longer true: not because of any change in the VM, but because of a new
by Daemmerung 18y ago
Is this still true? Has .NET been sufficiently updated to allow full Scheme?
This is no longer true: not because of any change in the VM, but because of a new way to model first-class continuations. Qv "Continuations from Generalized Stack Inspection", http://www.cs.brown.edu/~sk/Publications/Papers/Published/pcmkf-cont-from-gen-stack-insp/ http://www.cs.brown.edu/~sk/Publications/Papers/Published/pc... -
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present a novel translation that overcomes this problem. In the first half of the paper, we introduce a theoretical model that shows how to eliminate the capture and the use of first-class continuations in the presence of a generalized stack inspection mechanism. [...] Second, we show how to use our new technique to copy and reconstitute the stack on MSIL.Net using exception handlers. This establishes that Scheme's first-class continuations can exist on non-cooperative virtual machines.
- jmatt 18y agoI link to the same paper - different repository in my comment. Excellent quote.