2012-11-10 7 views
0

언어를 선택하는 방법 람다 용어 (λx.y) ((λx.xxx) (λx.xxx))는 실제로 계산됩니까? 즉, 정상적인 주문 감소 및 약한 유형 시스템에 대한 언어가 필요합니다.실제로 람다 미적분

답변

2

무엇을 검색했으며 지금까지 무엇을 발견 했습니까?

대부분의 언어에는 형식이 지정되지 않은 다양한 유형이 있으므로이 요구 사항을 충족하는 표준 언어는 없습니다. 순수한 람다 계산법 인터프리터가 필요합니다 (구현은 좋은 연습입니다).

+0

아, 정말 고마워요! 이것은 간단한 개념입니다 - "λ 계산법 해석기" 예 : [this] (http://lci.sourceforge.net) – ramntry