Haskell中整数的类型构造函数

Question

我才刚刚开始学习Haskell，并且陷入了以下问题：

我想创建一种日历周类型，即从1到52的数字。这就是为什么我尝试以下一种方法：

data CalendarWeek = 1 | 2 | ... | 52 deriving (Eq, Order, Show)

因此，可以在这里使用它：

data Offer = Offer CalendarWeek Day Offer String deriving (Eq, Order, Show)

但是，GHC只是打印出以下错误：

parse error on input `1'

我究竟做错了什么？ 还有另一种方法来构建这种类型吗？

非常感谢你的回答！

Answer 1

扩展我的评论：

我相当确定您不会拥有仅由数字组成的名称。 如果您真的想按照自己的方式做，那就可以

data CalendarWeek = W1 | W2 | W3 | … | W52 | W53 deriving (Eq, Order, Show)

（请记住，有些年份有53周，最后一次是2009年。）

但是，我不建议这样做。 一方面，要进行大量输入，在任何情况下，以这种方式处理时，都很难将周数视为数字。 我建议做的是

data CalendarWeek = Week Int

然后您可以定义一个函数

mkWeek :: Int -> CalendarWeek
mkWeek number =
  if number >= 1 && number <= 53
     then Week number
     else error "Not a valid week number!"

这将导致mkWeek 47返回值Week 47 ，而mkWeek 112将使程序mkWeek 112 。 在真实的程序中，您可能不想在这里炸毁程序，但是您的操作取决于情况。

同样，任何时候使用星期，都需要确保该值不会溢出，但这是微不足道的（如果您通过mkWeek进行检查，则可以免费获得支票！）

当然，要使这种方法与您建议的方法一样安全，就需要编写大量测试。 应该处理所有处理周编号的函数，以免意外返回Week 975 。 而且，如果你设计这个作为一个单独的模块，你不应该导出Week的构造，因为这样做会允许任何人创建的任何疯狂的一周值。 相反，强迫所有人使用您的mkWeek函数，以确保不会产生任何奇怪的星期数。