compiler-construction - 编译状态下的 Haskell 可变性？

Question

我对 Haskell 了解不多，但从我读到的关于计算的可变性(例如:函数返回函数、复杂的 monad 和函数等)的内容来看，你似乎可以做很多元编程，即使在运行时。

• 如果像函数和 monad 这样的一切都如此复杂，Haskell 如何编译成机器代码并保留所有这些？

Answer 1

我不确定您所说的“可变性”到底是什么意思，但是将这种抽象语言编译成高效的机器代码确实是一项复杂的任务。作为起点，您可以阅读 The Implementation of Functional Programming Languages ，由 Simon Peyton-Jones 所著，Haskell 背后的主要人物之一。

对于更新的内容，有 some commentary on the internals of GHC ，旗舰版 Haskell 编译器。

在更实际的说明中，如果您只是想知道“函数作为值”的想法，那就是老掉牙了——Lisp 方言编译高阶函数的时间比我还长。一直活着，甚至 C 也将指针传递给周围的函数。