haskell - 如何将模式与数据结构中的特定项目联系起来？

Question

考虑下面的简单数据结构(我正在学习如何使用 attoparsec)。我不只是自动派生 show，而是为其创建了一个实例。但是，如果 DateDefinition 中的项目顺序发生更改(例如，我将 dayOfMonth 放在 MonthOfYear 之前)，该实例将立即中断(返回错误答案)。必须有一种方法将模式中的每个条目与数据结构中的每个条目关联起来，以便它不受项目顺序变化的影响。但如何呢？我尝试使用实际名称，但不出所料，这不起作用，只是导致出现有关隐藏现有绑定(bind)的警告。

data DateDefinition = DateDefinition
            {
                 monthOfYear :: Months,
                 dayOfMonth :: Int,
                 hourOfDay :: Int,
                 minuteOfHour :: Int,
                 secondOfMinute :: Int
            }

instance Show DateDefinition where
   show (DateDefinition m d _ _ _) = show m  ++  " " ++ show d

Answer 1

可以直接使用字段访问器；这是最简单的方法:

instance Show DateDefinition where
    show dd = show (monthOfYear dd) ++ " " ++ show (dayOfMonth dd)

或者，您可以使用 RecordWildCards 扩展:

instance Show DateDefinition where
    show DateDefinition{..} = show monthOfYear ++ " " ++ show dayOfMonth

如果您从不打算删除这些字段，这很好。如果您想更改内部结构而不破坏任何内容，那么第一个实现( as pointed out by rampion )可能是最安全的。只要不导出构造函数，您始终可以在任何人都不知道的情况下将这些字段变成普通函数。