Haskell代数数据类型Day/Month转Int的方案可行性及实现咨询

问题1：转换方案适用性判断 #

这个方案完全适用于你当前的日期计算场景，有几个优势：

• 映射表逻辑直观易读，修改调整映射关系不需要改动函数逻辑
• 配合你已经给Day、Month派生的Eq类实例，可以直接完成键值匹配
  使用时仅需要注意两个前提：
• 必须保证映射表覆盖了所有Day、Month的构造子，不要出现缺漏
• 如果你后续要做反向的Int转自定义类型操作，需要额外加边界合法性校验，避免非法数值匹配不到对应构造子

问题2：转换函数实现 #

你可以直接用标准库Data.List提供的lookup函数完成映射查找，根据你的错误处理需求可以选择两种实现方式：

前置导入依赖 #

import Data.List (lookup)
import Data.Maybe (fromJust) -- 仅非安全版本需要导入

安全版本（推荐） #

返回Maybe Int类型，映射表缺漏时返回Nothing，不会触发运行时错误：

dayToInt :: Day -> Maybe Int
dayToInt day = lookup day dayConversionMap

monthToInt :: Month -> Maybe Int
monthToInt month = lookup month monthConversionMap

非安全版本 #

当你可以100%确保映射表没有缺漏时使用，直接返回Int，映射表缺漏会触发运行时错误：

unsafeDayToInt :: Day -> Int
unsafeDayToInt day = fromJust $ lookup day dayConversionMap

unsafeMonthToInt :: Month -> Int
unsafeMonthToInt month = fromJust $ lookup month monthConversionMap

更简洁的替代方案 #

你不需要自己维护映射表，只需要给Day和Month类型派生Enum类实例，就可以直接用内置的fromEnum方法完成转换：

-- 定义类型时派生Enum
data Day   = I | II | ... | XXXI deriving(Ord,Eq, Enum)
data Month = Jan | Feb | ... | Dec deriving(Ord,Eq, Enum)

-- 转换函数直接写为：
dayToInt :: Day -> Int
dayToInt = (+1) . fromEnum -- fromEnum默认从0开始计数，加1对应1~31的日期

monthToInt :: Month -> Int
monthToInt = (+1) . fromEnum -- 加1对应1~12的月份

这个方案代码更简洁，也不会出现映射表缺漏的问题，更符合Haskell的常用实践。

内容的提问来源于stack exchange，提问作者CoffeeKid