scheme - SICP の型と変数

Question

これはMIT 6.001 Online Tutorからのもので、3 番目の問題セットの一部です。

問題：次の各式の型を教えてください。型変数が必要な場合は、左端の変数として 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
4. (lambda (x y comp) (if (comp x y) x y))

ご覧のとおり、1 と 3 は解決しましたが、それは主に不運でした。私はまだ概念を理解するのに問題があり、それが 2 と 4 の解決を妨げています。

講義のスライドはこちらからご覧いただけます(最後の数枚をご覧ください)。

Answer 1

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

x(最後はとyが同じ型であると仮定します)