ラムダ式のタイプ

Question

このラムダ式のラムダ式のタイプが何であるかを尋ねるなら、答えは何ですか？そのラムダ式を完成させた後の結果のタイプのようなものでしょうか？例えば

：この表現のためのラムダ式のタイプ

(lambda (s) (string-append s s)) 

感謝です！

Answer 1

これは1つのパラメータを持つ関数なので、aとbの型はa -> bです。

sからstring-appendに渡すので、sは文字列である必要があります。
string-appendの結果も文字列であるため、タイプはstring -> stringです。

Answer 2

スキームは動的に型指定されますが、このオブジェクトはPROCEDUREを満たしますか？それ以外の型はありません。