有时我偶然发现了半神秘的符号
def f[T](..) = new T[({type l[A]=SomeType[A,..]})#l] {..}
在Scala博客文章中,它给了它一个"我们使用那种类型 - lambda技巧"的手动波.
虽然我对此有一些说明(我们获得了一个匿名类型参数A而不必用它来污染定义？),我发现没有明确的来源描述类型lambda技巧是什么,以及它有什么好处.它只是语法糖,还是开了一些新的维度？