lambda表达式的类型

Question

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

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

_ = self.navigationController?.navigationController?.popViewController(animated: true)

谢谢！

Answer 1

这是一个带有一个参数的函数，因此对于某些a -> b和a，它的类型为b。

由于s传递给string-append，s必须是字符串 string-append的结果也是字符串，因此类型为string -> string。

Answer 2

Scheme是动态类型的，这个对象会满足PROCEDURE吗？谓词，但除了它没有类型。