Allen's lambda syntax proposal
dherman at ccs.neu.edu
Sun Dec 21 05:09:03 PST 2008
> "^" also has a slight resemblance to the greek lambda, which is the
> reason Haskell uses "\".
As an aside, the circumflex is actually the precursor to lambda:
"We end this introduction by telling what seems to be the story how
the letter 'λ' was chosen to denote function abstraction. In Principia
Mathematica the notation for the function f with f(x) = 2x + 1 is
2x + 1.
Church originally intended to use the notation
The typesetter could not position the hat on top of the x and placed
it in front of it, resulting in
^x.2x + 1. Then another typesetter changed it into λx.2x + 1."
-- H. Barendregt, The Impact of the Lambda Calculus In Logic and
Computer Science 
More information about the Es-discuss