Scala 编译器 : detecing a pure/impure function

Question

在 Scala、Haskell 等 FP 语言中，使用纯函数使得编译器可以优化代码。例如:

val x = method1()// a pure function call
val y = method2// another pure function call
val c = method3(x,y)

由于 method1 和 method2 是纯函数，因此计算相互独立，编译器可以并行化这两个调用。

像 Haskell 这样的语言内部有结构(如 IO monad)，它告诉函数是纯函数还是执行一些 IO 操作。但是 Scala 编译器如何检测一个函数是纯函数？

Answer 1

将代码块归类为纯代码块的一般方法是定义哪些操作是纯操作，并且由于纯操作是组合的，因此纯操作的组合是纯操作。

并行化实际上并不是纯代码更重要的好处之一:好处是可以使用任何评估策略。评估可以重新排序或结果可以缓存等。并行化是另一种评估策略，但没有很好地了解实际执行成本(请注意，现代 CPU 和内存层次结构很难获得这种感觉)，它通常会减慢速度相对于其他策略而言。对于现代纯代码，懒惰和缓存重复值通常更普遍有效，而并行性由开发人员控制(纯代码的一个好处是您可以在不改变代码语义的情况下对并行化方式进行任意更改) .

在 Scala 的情况下，编译器不会真正努力对纯/不纯代码进行分类，并且通常不会尝试替代评估策略:控制权留给程序员(该语言通过调用来提供一些帮助- name 和 lazy)。

JVM 的 JIT 编译器在决定它可以安全地内联和重新排序的内容时，可以并且确实对字节码执行一些纯度分析。这不是特定于 Scala 的，尽管最终局部变量(在 Scala 中也称为局部 val 或在 Java 中称为 final 变量)启用了一些无法以其他方式执行的优化。 Javascript 运行时(对于 ScalaJS)可以(并且在实践中非常积极地做)同样执行该分析，LLVM(对于 Scala Native)也是如此。