Lambda Functions (fwd)
max at max.mcs.gac.edu
Tue Aug 10 09:17:27 EDT 1999
xpolakis at hol.gr (Antreas P. Hatzipolakis) writes:
> ... Why lambda? ...
We answer this question in the end-of-chapter notes for chapter 1 of
Concrete Abstractions(*), pp. 20-21. The authority we cite there is
Barendregt(**). In short, the story is that a circumflex (or "hat")
accent (^) that should have been over the top of the binding occurance
of the variable moved in front of it, and then by visual resemblence
the circumflex with nothing under it was turned into a greek letter
That's the interesting part of the story, at least, from Church's
lambda calculi. The later, less interesting part happened a couple
decades later when come Lisp (pre-Scheme), the greek letter had to get
spelled out in roman letters for the sake of primitive and
anglo-centric computer I/O devices.
(*) Max Hailperin, Barbara Kaiser, and Karl Knight. Concrete
Abstractions: An Introduction to Computer Science Using Scheme.
Brooks/Cole Publishing Company, 1999.
(**) Henk Barendregt. "The impact of the lambda calculus in logic and
computer science." The Bulletin of Symbolic Logic, 3(2):181-215,
More information about the Python-list