Section 12.5 (Special Syntax Identifiers) of the PLT MzScheme Language Manual (version 360) shows an implementation of Lambda Calculus with applicative order evaluation. I can't find this example in the docs of version 4. (Currently I have Welcome to DrScheme, version 4.1.0.3-svn14sep2008 [3m].) Is it dropped? Or am I blind? If it's dropped, why? I find it a beautiful example :)
I have adapted my own normal order lambda calculus modules for version 4. They work fine, although it worries me that some of the modules won't run (#lang scheme, DrScheme, run button) but do compile and pass tests. How can that be? There is some complaint: "compile: bad syntax; function application is not allowed, because no #%app syntax transformer is bound" which does not occur when requiring or compiling. If more info is required I would be happy to supply it (I do some nasty things in my code, but nevertheless I wonder why it won't simply run while it does compile and can be required without problems)
Jos
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20080919/1a9942a4/attachment.html>