> Then pick your favourite superfast-prototyping programming language and > build McCarthy's evaluator in it. (This step is not optional if you want to > understand properly.) Then throw some expressions containing > higher-order functions and free variables at it, figure out why it behaves > oddly, and fix it without adding any conceptual complexity.
I couldn't agree with this approach more. In my own attempt at this activity (http://fogus.me/fun/lithp/) I learned more about the McCarthy model, its history, and limitations than any paper I'd read before or since. _______________________________________________ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc