haskell - 是否可以在 Haskell 的库中编写自己的流融合？

Question

我一直在尝试使用 Vector 库来查看流融合的实际效果，这是一个非常令人印象深刻的优化。我很想知道创建自己的流融合库有多难？我只是想知道我是否需要做一些特殊的事情，比如使用特定的编译指示等。

Answer 1

融合主要由编译器的优化器在 INLINE/INLINABLE 和 RULES 编译指示的控制下完成。

(拥抱仍然保持吗？我假设没有。)

Haskell 没有为这些编译指示赋予任何特殊含义；但是两个 Haskell 编译器( GHC 和 JHC )都可以，并且含义非常相似。

所以，理论上，没有。 Haskell 语言不足以指示何时应该发生融合。但是，在实践中，是的。使用 INLINE/INLINABLE 和 RULES 编译指示将导致两个事件的 Haskell 编译器在优化期间执行融合。