SICP 类型和变量

Question

这是来自MIT 6.001 Online Tutor，它是第三个问题集的一部分。

问题：指出下列每个表达式的类型。如果需要类型变量，就使用A,B,C等，以A开头作为最左边的变量。

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

如您所见，我解决了 1 和 3，但这主要是不走运。我仍然无法理解这个概念，这阻止了我解决 2 和 4。

讲座幻灯片可以在here找到（查看最后几张）。

Answer 1

1. A, B -> A
2. (数字 -> A) -> A
3. (A -> B), A -> B
4. A, A, (A, A -> boolean) -> A

（最后假设x和y是同一种类型）