haskell - SYB（废弃你的样板）相对于 GHC 泛型的优势

Question

与 GHC Generics 相比，是否有任何任务只有 SYB 才能完成，或者更容易完成？

Answer 1

GHC 泛型是执行基本上任何查询或遍历的一种相当冗长的方法。例如，考虑一种语言 AST，其中Stmt和Expr类型都派生Typeable、Generic和Data：

data Stmt = ... lots of constrs ...
data Expr = Const Int
          | ... lots of other constrs ...

您如何利用 SYB 来获取从Expror开始的所有常量Stmt？就像是：

getConst (Const i) = [i]
getConst _         = []

getAllConst = everything (++) (mkQ getConst)

将此与需要两个类的泛型的典型使用进行对比，遍历产品表示的总和，并为需要遍历的 N 个类型实例化 N 次类。SYB，实际上是大多数通用系统，在性能方面表现平平。