[clojure] LISP 머신을 구축하려면 얼마나 많은 프리미티브가 필요합니까? 10, 7, 5?

기본 술어 / F 함수

McCarthy 의 기본 S- 함수 및 술어 는 다음 과 같습니다.

1. atom

   car와 cdr은 목록에 대해서만 정의 되었기 때문에 필요했습니다. 즉 car, 원자 를 주면 무슨 일이 일어 났는지 나타내는 어떤 종류의 대답도 믿을 수 없습니다 .

2. eq

   원자 간의 평등을 테스트합니다.

3. car

   단점 셀의 전반부 (주소)를 반환합니다. (주소 레지스터의 내용).

4. cdr

   단점 셀의 후반 (감소)을 반환합니다. (감소 레지스터의 내용).

5. cons

   새로운 cons 셀을 만들기 위해 주소 half는 cons에 대한 첫 번째 인수를 포함하고 감소 절반은 두 번째 인수를 포함합니다.

함께 묶기 : S-Functions

그런 다음 기본 표기법을 추가하여 S- 함수라고 부르는 것을 작성할 수있게했습니다.

1. quote

   평가하지 않고 표현을 표현하는 것.

2. cond

   이전에 설명한 술어와 함께 사용할 기본 조건입니다.

3. lambda

   기능을 나타냅니다.

4. label

   그는 재귀를 위해 이것을 필요로하지 않았지만, Y-Combinator 에 대해 알지 못했을 수도 있습니다 ( 폴 그레이엄에 따르면 ), 그는 편의와 쉬운 재귀를 가능하게하기 위해 이것을 추가했습니다.

---

그래서 그가 실제로 Lisp 머신에 대해 9 개의 기본 “연산자”를 정의한 것을 볼 수 있습니다. 다른 질문에 대한 이전 답변 에서이 시스템 으로 숫자 를 표현하고 조작 하는 방법을 설명했습니다 .

그러나이 질문에 대한 답은 Lisp 머신에서 원하는 것이 무엇인지에 달려 있습니다. label기능적으로 모든 것을 구성하고 Y-Combinator를 적용하여 재귀를 얻을 수 있으므로 함수 없이 구현할 수 있습니다.

atomcar반환 할 원자에 대한 작업을 정의한 경우 버릴 수 있습니다 NIL.

기본적으로 이러한 9 개의 정의 된 기본 요소 중 7 개가있는 McCarthy의 LISP 시스템을 가질 수 있지만, 자신에게 얼마나 많은 불편을 끼치고 싶은지에 따라 표면적으로 더 간결한 버전을 정의 할 수 있습니다. 나는 그의 기계가 아주 훌륭하거나 Clojure와 같은 새로운 언어의 많은 원시를 좋아합니다.