haskell - Haskell 数据构造函数中的输入检查

Question

如何向 Haskell 数据构造函数添加输入检查？假设我有

import Data.Time.Calendar

data SchedulePeriod = SchedulePeriod { startDate :: Day
    , endDate :: Day
    , accrualStart :: Day
    , accrualEnd :: Day
    , resetDate :: Day
    , paymentDate :: Day
    , fraction :: Double }
    deriving (Show)

我想施加一个约束 startDate < endDate .有没有办法在不创建抽象数据类型的情况下做到这一点？

Answer 1

标准方法是使用 smart constructor在创建值之前检查先决条件，并且不导出它使用的真实构造函数。当然，正如您所说，这是创建一个抽象数据类型。

在没有智能构造函数的情况下实现这一点的唯一方法是非常邪恶的类型系统黑客(你将无法使用标准的 Day 类型)。