Haskell中如何以类型安全的方式获取枚举类型关联的所有字符串值

对于你提到的枚举类型关联字符串、需要安全获取全量字符串列表的场景，Haskell有非常简洁的标准实现方案，完全避免字符串重复和类型安全问题。

核心思路 #

利用标准库自带的Enum和Bounded类型类，自动生成所有枚举构造子的实例列表，再映射为对应的字符串即可。

示例代码 #

-- 给自定义枚举派生Enum和Bounded类，仅无参数构造子的枚举可直接派生
data MyObject = Foo | Bar deriving (Enum, Bounded)

-- 字符串仅在此处定义一次，无需重复维护
getObjectString :: MyObject -> String
getObjectString Foo = "Foo"
getObjectString Bar = "Bar"

-- 自动生成所有MyObject的实例列表，类型安全，新增构造子自动同步
allObjects :: [MyObject]
allObjects = [minBound .. maxBound]

-- 直接映射得到全量字符串列表，无任何硬编码重复
listOfAllObjectStrings :: [String]
listOfAllObjectStrings = map getObjectString allObjects

方案特点 #

• 完全类型安全：给MyObject新增构造子时，只要补全getObjectString的分支，字符串列表会自动更新，不会出现遗漏、下标错位、字符串不匹配的问题
• 无重复代码：所有字符串仅在getObjectString中维护一处，没有冗余定义
• 无额外依赖：使用的都是GHC内置的标准类型类，不需要引入第三方库

如果你的类型不是简单的无参枚举，还可以通过Generic泛型推导的方式实现类似效果，对于你示例中的场景上面的方案已经完全够用。

内容的提问来源于stack exchange，提问作者m1-s