寻求Haskell风格的枚举值定义方法：如何将常量值纳入Binop数据类型

你想要把操作符的字符串常量直接和Binop枚举值绑定在一起，而不是在Show实例里单独实现每个情况，对吧？这里有几种符合Haskell风格的方法可以满足你的需求：

方法一：模式别名+带字符串的基础类型 #

这种方法让Binop类型本身直接携带对应的字符串常量，同时用模式别名保留原来的枚举式使用体验，还能自动推导Show实例：

-- 定义基础类型，每个值都携带对应的操作符字符串
data Binop = Binop String deriving Show

-- 定义模式别名，把固定字符串和枚举名称绑定
pattern Plus :: Binop
pattern Plus = Binop "+"

pattern Minus :: Binop
pattern Minus = Binop "-"

pattern Times :: Binop
pattern Times = Binop "*"

pattern Divide :: Binop
pattern Divide = Binop "/"

优点： #

• 字符串常量直接内嵌在数据类型中，不需要额外的Show实例实现
• 使用方式和原来的纯枚举完全一致，你依然可以写Plus、Minus这样的代码
• 自动推导的Show会直接输出对应的字符串，和你手动实现的效果一样

注意事项： #

如果担心有人直接用Binop "invalid"构造不符合预期的值，可以在模块里只导出模式别名，不导出Binop构造器，这样就能确保所有Binop值都是你定义的合法操作符。

方法二：智能构造器+隐藏内部实现 #

如果你更倾向于完全封装内部细节，可以用智能构造器来创建Binop值，同时隐藏基础构造器：

-- 不导出Binop构造器，只导出智能构造器和类型本身
module MyModule (Binop, plus, minus, times, divide) where

data Binop = Binop String deriving Show

-- 智能构造器，每个构造器对应固定的字符串常量
plus :: Binop
plus = Binop "+"

minus :: Binop
minus = Binop "-"

times :: Binop
times = Binop "*"

divide :: Binop
divide = Binop "/"

优点： #

• 完全避免了非法Binop值的创建，保证类型安全性
• 字符串常量和构造逻辑完全绑定，外部代码无法修改

方法三：使用DerivingVia扩展（适合保留纯枚举结构） #

如果你想保留原来的纯枚举结构（不带参数的构造器），但又想把字符串常量和枚举值关联起来，可以用GHC的DerivingVia扩展来组织代码：

{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE StandaloneDeriving #-}

data Binop = Plus | Minus | Times | Divide

-- 定义一个辅助新类型，用来关联枚举值和对应的字符串
newtype ShowBinop = ShowBinop Binop

instance Show ShowBinop where
    show (ShowBinop Plus) = "+"
    show (ShowBinop Minus) = "-"
    show (ShowBinop Times) = "*"
    show (ShowBinop Divide) = "/"

-- 通过辅助类型自动推导Binop的Show实例
deriving via ShowBinop instance Show Binop

优点： #

• 保留了纯枚举的简洁结构，构造器不带额外参数
• 把字符串映射逻辑集中在辅助类型里，代码更整洁

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