Lambda Calculus - 유튜브 강의 정리

Ji·2021년 5월 26일
프로그래밍언어론
0

https://www.youtube.com/watch?v=d0yEXKas8xE 를 듣고 작성.

Currying

  • Currying : 여러 개의 인자를 받는 함수를 단일 인자를 받는 함수의 체인을 이용하는 방식으로 바꾸는 것

Abstraction

Example

  1. (λx.x)y->y
  2. (λx.x(λy.x))z
  3. (λx.λy.xy)(λx.x)(z)->z
profile
Ji
공부방
이전 포스트

Lambda Calculus - Informal 정리

다음 포스트

Lambda Calculus - Formal 정리

0개의 댓글