[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: "unspecified" and SET!
In article <2281@ubc-cs.UUCP> firstname.lastname@example.org (Vincent Manis) writes:
>Going to the trouble to develop a calculus of unspecified values
>strikes me as almost as silly as some of the things I did when I was
>involved in writing an Algol 68 compiler.
>____________ Vincent Manis | email@example.com
Do you mean Matthias Felleisen's calculus for Scheme? It is neither a
calculus of unspecified values nor silly. It is a better theoretical
basis for Scheme than the lambda value calculus: it includes both
set! style side effects and continuations in its equations.