Lambda calculus (original) (raw)
| Lambda calculus | Scheme | |
|---|---|---|
| Abstraction | λ v . E | (lambda (v) E) |
| Combination | E1 E2 | (E1 E2) |
A comparison of the notations of abstraction and combination (application) in the lambda calculus and Lisp. In some variants of lambda calculus there are more parentheses than shown here: (λ v . E). However, mathematicians tend to like ultra brief notation, and they often eliminate the parentheses. This stands as a contrast to Lisp and Scheme programmers.