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？谓词，但除此之外它没有类型。