https://jurogrammer.tistory.com/131
를 읽고 공부하여 작성한 글.

Lambda Calculus

• λ는 함수를 추상화한 용어(notation)
• 튜링 안정성을 만족 (함수로 not, and, or 연산 등을 모두 표현 가능)

Lambda Calculus의 도입 이유

1. 함수 이름을 간단하게
   
   의 함수를 간단하게 표현하려고 함.

• x, y를 대입-> x^2+y^2이 출력.

2. Parameter를 간단하게

• 파라미터를 1개만 받는 함수들로 표현하는 법
  
• x를 대입하면, y-> x^2+y^2이 출력.

ex)

(1) (x -> (y -> x^2 + y^2))(5) 계산을 하면 y -> 25 + y^2이란 함수가 출력
(2) (y -> 25 + y^2)(2)를 계산하면 25 + 4 => 29가 출력

• 여러 argument를 받는 함수를 단일 argument로 받는 함수의 chaining으로 구현하는 방법: Currying