Get the latest tech news
Normal-order syntax-rules and proving the fix-point of call/cc
CPS and beta-normalization with syntax-rules as a proof assistant in search of the fixpoint of call/cc
It should come as no surprise that all these topics are directly influenced by Dan Friedman -- and, in fact, developed straight in response to his challenges. We will be using Petite Chez Scheme, which conveniently provides a form(expand e) to macro-expand an expression e. We see a problem however: the expansion isn't entirely easy to look at: it has a bit too many lambdas. Separate top-level statements in most interpreters (REPL) -- tried: Bigloo, Scheme48, Petite Chez, Gambit, Gauche -- have an implicit prompt around them -- which cuts the continuation in call/cc.
Or read this on Hacker News
