haskell - 教会编码的实际原因

Question

Church 编码（又名访客模式）是一种将数据表示为函数的方式：而不是

data T = C1 F1 F2 | C2 F3 F4

你可以定义

data T = T (forall r. (F1 -> F2 -> r) -> (F3 -> F4 -> r) -> r)

. 尽管将任何东西表示为函数的能力很好，但我一直认为第一个版本更可取，因为它更简洁并且不需要语言扩展（显式forall）。但是，您有时可以在公共图书馆中找到教堂编码的数据。使用它有什么好处？

公共图书馆中教堂编码的例子：

• 迭代者
• 修订控制单子
• （请帮我扩展列表）

Answer 1

这对应于具有多个延续的延续传递样式，并且是为了提高性能而完成的：避免了数据的显式构造和破坏，而是直接根据模式匹配的输出传递控制，而后者将立即完成。这并不总能提高性能，但当它发生时，它可能相当重要。

基本上，您可以将其视为数据与控制。如果您正在做的事情本质上类似于控制——例如解析器的成功和失败分支——那么基于控制的表示可能会更好。否则，坚持数据。