创建数据类型时派生意味着什么？

Question

假设我们来看看：

data Quadrants = Origin | 
       Quadrant_I | Quadrant_II | Quadrant_III | Quadrant_IV | 
       X_Axis_Positive | X_Axis_Negative | Y_Axis_Positive | Y_Axis_Negative 
    deriving (Show, Eq) 

什么是 “导出（显示，公式）” 是什么意思？我有时只是看到“派生（显示）”。

Answer 1

deriving关键字自动为某些类型类别“派生”实现。这仅适用于某些内置类型类别（包括Show和Eq）。

的Show实例deriving创建产生的构造作为字符串的名称，如果构造函数接受任何参数，的show荷兰国际集团每个参数，以逗号分隔并用括号括的结果。

所以你的类型deriving Show将等价于以下实例：

instance Show Quadrants where 
    show Origin = "Origin" 
    show Quadrant_I = "Quadrant_I" 
    show Quadrant_II = "Quadrant_II" 
    ... 

同样派生Eq实例认为相等，如果他们使用相同的构造和相同的参数创建两个值。因此，对于您的类型会是：

instance Eq Quadrants where 
    Origin == Origin = True 
    Quadrant_I == Quadrant_I = True 
    Quadrant_II == Quadrant_II = True 
    ... 
    _ == _ = False 

正如你可以看到，使用deriving可以节省相当多的代码。