lambda表達式的類型

Question

我想問一下，如果有人問這個lambda表達式的lambda表達式的類型是什麼，那麼答案是什麼？它是完成該lambda表達式後的結果類型嗎？

例如：什麼是lambda表達式的類型，這種表達

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

謝謝！

Answer 1

這是一個帶有一個參數的函數，所以它對於某些a和b具有類型a -> b。

由於它通過s到string-append，s必須是字符串。
string-append的結果也是一個字符串，所以類型是string -> string。

Answer 2

Scheme是動態類型化的，這個對象會滿足PROCEDURE？謂詞，但除此之外它沒有類型。