0
언어를 선택하는 방법 람다 용어 (λx.y) ((λx.xxx) (λx.xxx))는 실제로 계산됩니까? 즉, 정상적인 주문 감소 및 약한 유형 시스템에 대한 언어가 필요합니다.실제로 람다 미적분
언어를 선택하는 방법 람다 용어 (λx.y) ((λx.xxx) (λx.xxx))는 실제로 계산됩니까? 즉, 정상적인 주문 감소 및 약한 유형 시스템에 대한 언어가 필요합니다.실제로 람다 미적분
무엇을 검색했으며 지금까지 무엇을 발견 했습니까?
대부분의 언어에는 형식이 지정되지 않은 다양한 유형이 있으므로이 요구 사항을 충족하는 표준 언어는 없습니다. 순수한 람다 계산법 인터프리터가 필요합니다 (구현은 좋은 연습입니다).
아, 정말 고마워요! 이것은 간단한 개념입니다 - "λ 계산법 해석기" 예 : [this] (http://lci.sourceforge.net) – ramntry