如何在Haskell98中用单参数类型类替代多参数类型类

你的直觉完全合理，Haskell98时期确实存在成熟的规避多参数类型类的方案，核心思路就是通过打包多个类型为单一类型参数，或者利用单参数类型类结合上下文约束来模拟多参数的行为。

经典方案：打包类型为单一构造器参数 #

Haskell98虽然不支持多参数类型类，但允许类型类的参数是多参数类型构造器的应用结果。我们可以定义一个空的“标记类型”来打包两个需要关联的类型，再基于这个标记类型定义单参数类型类。

步骤1：保留基础类型类 #

先保留你原本定义的Semiring和Monoid：

class Semiring d where
  zero :: d
  one :: d
  plus :: d -> d -> d
  times :: d -> d -> d

class Monoid e where
  mzero :: e
  mplus :: e -> e -> e

步骤2：定义打包用的标记类型 #

创建一个双参数的空数据类型，用来把d（半环类型）和e（幺半群类型）打包成单一类型：

data ModuleTag d e = ModuleTag

步骤3：基于标记类型定义单参数类型类 #

现在可以用ModuleTag d e作为单参数，定义模拟原Module的类型类，并添加必要的超类约束：

class (Semiring d, Monoid e) => Module (ModuleTag d e) where
  mtimes :: d -> e -> e

步骤4：编写实例 #

针对具体的d和e组合，实现Module实例：

-- 示例：Int作为半环，列表作为幺半群的模
instance (Semiring Int, Monoid [a]) => Module (ModuleTag Int [a]) where
  mtimes n xs = concat (replicate n xs)

使用方式 #

调用时需要通过类型注释或类型推断指定标记类型，比如：

-- 显式指定类型
mtimes (5 :: Int) ([1,2] :: [Int]) :: [Int]
-- 或借助类型推断
example = mtimes 3 ["a", "b"]

另一种方案：字典传递模拟 #

如果觉得标记类型不够直观，还可以用字典类型手动传递类型类的实现，这也是Haskell98时期常用的技巧：

步骤1：定义字典类型 #

把Semiring和Monoid的操作打包成数据类型：

data SemiringDict d = SemiringDict
  { srZero :: d
  , srOne :: d
  , srPlus :: d -> d -> d
  , srTimes :: d -> d -> d
  }

data MonoidDict e = MonoidDict
  { mdZero :: e
  , mdPlus :: e -> e -> e
  }

步骤2：定义模的字典类型 #

直接用数据类型封装mtimes操作和对应的基础字典：

data ModuleDict d e = ModuleDict
  { mdSemiring :: SemiringDict d
  , mdMonoid :: MonoidDict e
  , mdMtimes :: d -> e -> e
  }

使用方式 #

创建具体的字典实例后直接调用：

intSemiring :: SemiringDict Int
intSemiring = SemiringDict 0 1 (+) (*)

listMonoid :: MonoidDict [a]
listMonoid = MonoidDict [] (++)

intListModule :: ModuleDict Int [a]
intListModule = ModuleDict intSemiring listMonoid (\n xs -> concat (replicate n xs))

-- 调用
example = mdMtimes intListModule 3 ["x", "y"]

这种方式不需要类型类，直接通过字典传递实现，灵活性更高，但缺少类型类的自动推导能力。

总结 #

两种方案都能在Haskell98下有效规避多参数类型类的限制：

• 标记类型方案更贴近原类型类的使用习惯，保留了类型推断的便利性；
• 字典传递方案更灵活，适合需要动态切换实现的场景。

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