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 - ＆gt; A
2. （数字 - > A） - ＆gt; A
3. （A - > B），A - >乙
4. A，A，（A，A - >布尔） - ＆gt; A

（最后一个假设x和y是相同的类型）