Тип выражения лямбда

Question

Я хочу спросить, если спросить, каков тип выражения лямбда для этого выражения лямбда, каким будет ответ? Является ли это чем-то вроде результата после завершения этого выражения лямбда?

Например: каков тип лямбда-выражения для этого выражения

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

Спасибо!

Answer 1

Это функция с одним параметром, поэтому она имеет тип a -> b для некоторых a и b.

Поскольку он проходит s до string-append, s должен быть строкой.
Результат string-append также является строкой, поэтому тип string -> string.

Answer 2

Схема динамически типизирована, этот объект будет удовлетворять ПРОЦЕДУРЕ? предикат, но кроме этого он не имеет типа.