教会编码（又名访客模式）是一种将数据表示为函数的方式：而不是
data T = C1 F1 F2 | C2 F3 F4
你可以定义
data T = T (forall r. (F1 -> F2 -> r) -> (F3 -> F4 -> r) -> r)
。虽然将任何东西表示为函数的能力很好，但我一直认为第一个版本更可取，因为它更干净且不需要语言扩展（显式forall）。但是，您有时可以在公共图书馆中找到教会编码的数据。使用它有什么好处？
公共图书馆中教会编码的例子：
答案 0 :(得分：10)
这对应于具有多个延续的continuation-passing style，并且是为了提高性能：避免显式构造和销毁数据，而是根据模式的输出直接传递控制 - 匹配将立即完成。这并不总是能够提高性能，但是当它发挥作用时，它可能会非常重要。
基本上，您可以将其视为数据与控制。如果你所做的事情本质上与控制本质上相似 - 例如解析器的成功和失败分支 - 那么基于控件的表示可能会更好。否则，坚持使用数据。