I think this is really a nice way to learn about implementing tail-calls and first-class continuations.
Schampignon is undocumented, because it's really just a rewrite of the Scheme code in section 3.4 of the dissertation, which explains things nicely. (Still, it took me a couple of days to figure out how it works.)
My next steps will be to add delimited continuations and fexprs to the code.
No comments:
Post a Comment