scala - Scala 中的部分应用程序不是引用透明的？

Question

给定两个函数:

def f(a: String, b: Int): Int = a.length + b
val g: Int => String = _.toString

为什么我可以通过中间赋值的方式将部分应用的 f 与 g 组合起来:

val f_ = f(_: String, 42)
f_ andThen g
// String => String = <function1>

但不是直接:

f(_: String, 42) andThen g
// error: value andThen is not a member of Int

这是类型推断器的问题还是预期行为的问题？

Answer 1

这只是一个语法错误，如果您打开 -Xprint:parser 选项，您将看到您的表达式与正确表达式之间的差异，即: (f(_:字符串，42)) 然后 g.

你的表情:

((x$1: String) => f((x$1: String), 42).andThen(g))

正确的是:

((x$1: String) => f((x$1: String), 42)).andThen(g)

你可以看到差异。发生这种情况是因为扩展规则，scalac 首先将语法规范为点形式，然后将其扩展。同样的规则也适用于这种形式的函数应用:func(_)，它扩展到最里面的大括号，我不记得它在 SLS 中的哪个位置编写。