haskell - SYB(废弃您的样板)相对于 GHC 泛型的优势

Question

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

Answer 1

GHC 泛型是一种相当冗长的方法，用于执行基本上任何查询或遍历。例如，考虑一种具有 Stmt 和 Expr 类型的语言 AST，它们都派生出 Typeable、Generic 和 数据:

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

如何利用 SYB 获取从 Expr 或 Stmt 开始的所有常量？像这样的东西:

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

getAllConst = everything (++) (mkQ getConst)

将此与需要两个类的泛型的典型使用进行对比，遍历乘积表示的总和，并为需要遍历的 N 类型实例化该类 N 次。 SYB 以及大多数通用系统都表现不佳的地方是 performance .