SICP 유형 및 변수

Question

이것은 MIT 6.001 Online Tutor에서 가져온 것으로 세 번째 문제 집합의 일부입니다.

질문 : 다음 각 표현식의 유형을 나타냅니다. 유형 변수가 필요하면 A로 시작하는 A, B, C 등을 가장 왼쪽 변수로 사용하십시오.

1. (lambda (x y) x) = A,B->A
2. (lambda (p) (p 3))
3. (lambda (p x) (p x)) = (A->B), A->B

당신은 내가 1과 3을 해결 볼 수 있지만, 운이 주로이었던 것에

(lambda (x y comp) (if (comp x y) x y)). 나는 여전히 개념을 이해하는 데 문제가 있으며 그로 인해 2와 4를 풀지 ​​못하게됩니다.

강의 슬라이드는 here (마지막 몇 개를 볼 수 있음)을 찾을 수 있습니다.

Answer 1

1. A, B ->를
2. (숫자 -> A) ->를
3. (A -> B), A -> B
4. A, A, (A, A - > 부울) ->를

(마지막 x 및 y이