具有Lambda表达式的复杂Scala类型推断

我正在为一个我在 Scala中构建的实验库工作的DSL,我遇到了Scala类型推断的一些棘手的特性,因为它与lambda表达式参数有关,这些参数似乎没有在 Programming In Scala中讨论过. .

在我的库中,我有一个特性,Effect [-T],用于表示可以应用于类型T的对象的临时修饰符.我有一个对象myEffects,它有一个名为=的方法接受一个参数效果类型[PlayerCharacter].最后,我有一个泛型方法,当[T]时,用于通过接受条件表达式和另一个效果作为参数来构造条件效果.签名如下：

def when[T](condition : T => Boolean) (effect : Effect[T]) : Effect[T]

当我使用上述签名调用“when”方法时,将其结果传递给=方法,它无法推断lambda表达式的参数类型.

myEffects += when(_.hpLow()) (applyModifierEffect) //<-- Compiler error

如果我将“when”的参数组合到一个参数列表中,Scala能够很好地推断lambda表达式的类型.

def when[T](condition : T => Boolean,effect : Effect[T]) : Effect[T]

/* Snip */

myEffects += when(_.hpLow(),applyModifierEffect) //This works fine!

如果我完全删除第二个参数,它也可以工作.

def when[T](condition : T => Boolean) : Effect[T]

/* Snip */

myEffects += when(_.hpLow()) //This works too!

但是,出于美观原因,我真的希望将参数作为单独的参数列表传递给“when”方法.

我在Programming in Scala第16.10节中的理解是,编译器首先查看方法类型是否已知,如果是,则使用它来推断它的参数的预期类型.在这种情况下,最外层的方法调用是=,它接受Effect [PlayerCharacter]类型的参数.由于when [T]的返回类型是Effect [T],并且传递结果的方法需要Effect [PlayerCharacter]类型的参数,它可以推断T是PlayerCharacter,因此lambda的类型表达式作为第一个参数传递给“when”是PlayerCharacter =>布尔.这似乎是在一个参数列表中提供参数时它是如何工作的,那么为什么将参数分成两个参数列表呢？

def when[T](condition : T => Boolean,applyModifierEffect) //This works fine!

myEffects += when(_.hpLow()) (applyModifierEffect)

def when[T](condition : T => Boolean) : Effect[T]

/* Snip */

myEffects += when(_.hpLow()) //This works too!