流融合是如何在Haskell工作的？

Question

我可以在Haskell中编写受流融合影响的自己的地图函数吗？

为什么列表上的递归迭代不需要融合？这完全破坏了Haskell模式匹配的良好表达能力:foo(x:xx)...！

前奏循环功能融合了吗？

Answer 1

Haskell中的流融合是使用重写规则完成的（有关更多信息，请参阅ghc文档）。这些规则可以使用rulespragma在代码中指定。

rewirte规则的基本思想是，指定一组在编译时重写代码的方法（例如，如果您将map自己的版本定义为map')，则可以执行以下操作：

{-# RULES 
   "map'/map'" forall f g xs. map' f (map' g xs) = map' (f . g) xs
  #-}

这将引入一个称为map'/map'的重写规则。这个规则的作用是，它将把函数f在一个列表上的每个映射重写为(f.g)在一些xs上映射的单个映射。

使用重写规则还有许多进一步的子特性。例如，您可以指定在编译器的哪个阶段应用规则，而编译器没有方法检查这些规则是否正确。

重写结果仍然是typechecked的，但是如果您在重写规则中做了语义错误的事情，那完全是您的责任。