`派生（数据）`与`派生（通用）`

Question

这两者在 GHC 中有什么区别。它们的预期用途似乎相似，但 deriving (Data) 已经存在了一段时间，而 deriving (Generic) 最近才被添加到 GHC 中。

deriving (Generic) 基本上是“升级”到deriving (Data) 还是这两个类有不同的目的？

Answer 1

我几乎犹豫要不要回答这个问题，因为我自己只是勉强理解它，但我确实花了几天时间自己在大约一年前看这个，这是我目前的理解......

这两个类都用于自省......使用它们，您可以访问（Haskell 程序本身的）Haskell 代码分析树。

然而，从哲学上讲，他们这样做的方式不同。

1. 派生（数据）创建数据对象，这些对象表示可在运行时操作的已解析对象树。

2. 派生（通用）创建与每个分析树对应的新类型，通常可以在编译时对其进行操作（在运行时完成的工作更少）。

从我有限的使用情况来看，“派生（数据）”使用起来要简单得多，但在运行时当然没有那么流畅（....对我来说这可以忽略不计）。

虽然“派生（通用）”在理论上更快，但编程更棘手，并且涉及创建可以操作类型组（即相关分析树）的类。它还可能促使您使用最先进的 GHC 扩展。

我的意见-“派生（通用）”是做事的“正确”方式，但需要更长的时间才能掌握。

Template Haskell 是访问 Haskell 分析树的另一种方法，尽管它在编译时 100% 工作，并且具有让您创建和插入将树数据分析到代码中的工具（即生成代码的代码，如 Lisp 宏）。

再次强调，这一切都是基于几天的研究，所以如果我把这件事弄得太糟糕了，有人让我知道（我自己想巩固我的理解）。