lambda表达式的类型

我想问，如果有人问这个lambda表达式的lambda表达式是什么类型的，答案是什么？是否类似于完成lambda表达式后的结果类型

例如：此表达式的lambda表达式类型是什么

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

---

谢谢

它是一个只有一个参数的函数，因此对于某些

a

和

b

，它的类型为

a->b

由于它将

s

传递给

string append

，

s

必须是字符串。

---

string append

的结果也是一个字符串，因此类型是

string->string

Scheme是动态类型的，这个对象会满足过程吗？谓词，但除此之外，它没有类型。

欢迎使用堆栈溢出！一般来说，这作为一个评论会更好，但我意识到你可能还没有足够的代表这么做。如果您可以编辑您的答案，使其包含一些附加信息，并使其更加完整，那将是非常棒的。