haskell - Haskell 中尚未在 GHC 中实现的可能优化？

Question

关闭。这个问题需要更多 focused .它目前不接受答案。












想改进这个问题？更新问题，使其仅关注一个问题 editing this post .


4年前关闭。







Improve this question




因此，由于纯代码和非纯代码之间的明确区分，纯函数式语言具有自己的潜力类别。我已经看到了一些在 Haskell 中实现起来更简单的功能，例如 Nested Data Parallelism或 Stream Fusion .

我的问题是，在可行性/简单性方面，Haskell 或多或少独特但尚未实现的其他改进/优化是什么？ (我主要关心 GHC，但也喜欢听别人说)

Answer 1

我希望在 GHC 中看到的一项优化是 super 编译。不过，这在 GHC 不久的将来似乎不太可能，因为它是整个程序的优化，而且 GHC 非常专注于一次模块编译。

基本上， super 编译是在编译时执行尽可能多的程序。它自然包含内联、森林砍伐、特化和任何数量的其他技术。早期的实验结果很有希望，但这是一个非常昂贵的过程。很难看出它是一个实用的优化，但这个概念非常棒。