Current FormStep 0
Reduction History
Abstract Syntax Tree
Church Encodings
Lambda Calculus Reference
Metrics
Variable Analysis
About
Lambda Calculus
Alonzo Church's formal system (1930s). The foundation of functional programming and computability theory.
Three constructs:
- Variable: x
- Abstraction: \x.body (function)
- Application: f x (apply f to x)
Syntax: Use \ or λ for lambda.
Parentheses group. Application is left-associative.
Abstraction body extends as far right as possible.
Keys: Space = step, Enter = reduce all
Alonzo Church's formal system (1930s). The foundation of functional programming and computability theory.
Three constructs:
- Variable: x
- Abstraction: \x.body (function)
- Application: f x (apply f to x)
Syntax: Use \ or λ for lambda.
Parentheses group. Application is left-associative.
Abstraction body extends as far right as possible.
Keys: Space = step, Enter = reduce all