是否可以为 Haskell 编写即时 (JIT) 编译器？

Question

我有兴趣详细了解 Haskell 如何编译为本机代码。我知道 Haskell 是静态类型检查的，这就是您可能不想这样做的原因。但有可能吗？

Answer 1

这篇关于编译惰性函数式语言 JIT 的论文可能会让您感兴趣：https://dl.dropboxusercontent.com/u/3265448/schilling.thesis.final.2014-01-20.pdf

另外两个可能对您的探索有所帮助的资源：

http://www.dcc.fc.up.pt/~pbv/aulas/linguagens/peytonjones92implementing.pdf

http://research.microsoft.com/en-us/um/people/simonpj/Papers/pj-lester-book/