Scala类型推断匿名函数声明

Question

我是Scala的初学者,我只是很好奇Scala如何处理这段代码片段的类型推断

trait Expression { .... }

def eval (binding : String => Boolean) : Expression => Boolean

据我所知,绑定是一种将一个函数String来Boolean,偏偏binding在同一时间可以被声明为成员Expression？它被隐式转换了吗？它是如何工作的？

对不起,如果我的问题有点令人困惑

非常感谢:D

Answer 1

正如JörgWMittag所说,这里绝对没有类型推断.

def eval (binding : String => Boolean) : Expression => Boolean

只是一个抽象方法声明(抽象,因为它没有主体).它可以以不同的方式实现,具体取决于定义Expression.

为什么binding同时可以宣布为成员Expression

鉴于您发布的内容,它不能.