Lambda Calculus

Lambda Calculus는 아주 간단한 프로그래밍 언어로 볼 수 있다. 문법은 다음과 같이 정의된다.

LambdaExpr := Identifier
LambdaExpr := \ Identifier . LambdaExpr
LambdaExpr := LambdaExpr LambdaExpr

괄호 처리를 추가하면

LambdaExpr := ( LambdaExpr )

currying 처리를 추가하면

Identifiers := Identifer Identifiers
LambdaExpr := \ Identifiers . LambdaExpr

이를테면

a
\a b. b a
(\f x. x) g

등이 lambda expression이 된다. 숫자나 사칙 연산자는 없다. 그렇지만 그런 계산을 할 수 있다.