Language extensibility (was: Why is tcl broken?)

[Lars Marius Garshol]

* Jeff Dalton
|
| Well *Lisp* dates back to the late 50s.  Scheme may be from 75, but
| Lisp is a different matter.  And lambda calculus is, what, 1949?

* Jerome Kalifa
| 
| No, as a mathematical theory, it was developed before the war.

* Eugene Leitl
| 
| Church, A., The Calculi of Lambda Conversion, Princeton University
| Press, Princeton, N.J., 1941

According to David Harel's Algorithmics, the correct reference is
actually S.C. Kleene "A Theory of Positive Integers in Formal Logic",
Amer. J. Math. 57 (1935), pp. 153-173,219-244.

And there seems to be general agreement that the lambda calculus dates
back to the 30s. 

--Lars M.