«lisp» 태그된 질문

최근에 친구 (강한 유형의 언어를 옹호하는 사람)와 대화를 나누고있었습니다. 그는 논평했다 : Lambda Calculus의 발명가는 항상 입력을 의도했습니다. 이제 우리는 것을 알 수 있습니다 교회 와 관련이 있었다 간단히 입력 된 람다 미적분 . 실제로, 그는 Lambda 미적분에 대한 오해를 줄이기 위해 Simply Typed Lambda 미적분학을 설명한 것 같습니다. 이제 …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

[1]에서 Mitchell Wand는 순수한 람다 미적분에 fexprs를 추가하면 문맥 상 동등성 이론을 상쇄한다는 것을 보여 주었다. 즉, 두 항이 일치 하면 문맥 상 동등 하다. 관련 작업을 탐험 할 때, 그는 "우리의 결과는 것을 알버트 마이어 이전 관찰 [2] 확장 갔다 와 상황에 맞는 등가 사소한 렌더링을". 그러나 [2]를 참조하면 …

13 pl.programming-languages  lisp  scheme 

이제 우리는 것을 알 수 있습니다 교회 와 관련이 있었다 간단히 입력 된 람다 미적분 . 실제로, 그는 Lambda 미적분에 대한 오해를 줄이기 위해 Simply Typed Lambda 미적분학을 설명한 것 같습니다. 이제 John McCarthy가 Lisp를 만들었 을 때 Lambda 미적분학에 기반 을 두었습니다 . 이것은 "심볼 표현의 재귀 함수와 기계에 …

13 lambda-calculus  term-rewriting-systems  lisp