함수형 언어

람다 기초

December 9, 2018 Dev

알론도 처지(Alonzo Church)가 1930년대에 발표한 추론 또는 계산 모델의 일종이다. 람다 대수는 결정문제(decision problem)를 해결하기 위해, 계산가능성(computability) 혹은 계산가능한 함수(computable function)가 무엇인지를 명확히 정의하는데 사용한다. 하스켈의 문법을 소개하기...