在Haskell的库中可以编写自己的流融合吗？

Question

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

Answer 1

融合很大程度上是由编译器的优化器在内联/INLINABLE和规则转换控制下完成的。

(拥抱还在继续吗？我想是没有。)

Haskell并没有给这些语用赋予任何特殊的意义；但是两个Haskell编译器(GHC和JHC)都这样做，而且意义非常相似。

所以理论上说不是。Haskell语言不足以指示何时应该进行融合。但是，实际上，是的。使用内联/INLINABLE和规则务实将导致两个活动的Haskell编译器在优化期间执行融合。