派生类型类和创建实例之间的区别

Question

假设我有这种数据类型：

data TrafficLight = Red | Yellow | Green deriving (Eq)

这与像这样创建Eq 的实例有什么不同：

data TrafficLight = Red | Yellow | Green

instance Eq TrafficLight where
    Red == Red = True  
    Green == Green = True  
    Yellow == Yellow = True  
    _ == _ = False 

我在这里错过了什么？

注意

这个问题与assumed duplicate 不同，因为我正在寻找deriving 和instance 关键字之间的对比。假定的骗子没有提及instance 关键字。

Answer 1

你没有错过任何东西； deriving 只是让编译器为您写出“明显”的实例。如果您自己编写实例，它不会做任何您无法做的事情。

好处是（1）您不必写出实例，并且（2）它与任何阅读源代码的人交流实例是显而易见的实例（而不是必须阅读实例定义来确定它是否是非标准的）。