파이썬의 Lambda 함수와 형식의미론에서의 λ calculus

파이썬(Python)에는 Lambda 함수라는 것이 있는데, 이름이 없고 가리키는 객체만 존재하는 함수를 의미한다. 리턴값을 따로 적어주지 않아도 하나의 리턴값을 돌려준다. Lambda 함수는 다음과 같이 사용할 수 있다. >>> g = lambda x, y : x * y >>> g(2, 3) 6 >>> (lambda x: x * x)(3) 9 한편, 언어학의 한 분야인 형식의미론(Formal Semantics)에는 λ calculus라는 […]