如何在Haskell中实现类似OOP接口的模块化设计模式

你的代码存在两个无法编译的核心问题：

• 类型类的参数c完全没有出现在add、sub的方法签名中，Haskell类型类基于类型实现方法分发，没有c的位置编译器无法判断该匹配DumbCalc还是SmartCalc的实例
• 约束(Float a)写法非法：Float是具体数值类型，不是类型类，不能作为类型约束使用。如果要支持所有可做加减的数值类型用Num a约束，如果只需要支持单精度浮点数直接写Float -> Float -> Float即可

Haskell中实现这类“接口约束多实现”的模式非常简单，核心思路是用不同的空类型标记不同的实现，再通过类型类绑定对应方法，常用写法有两种。

写法1：显式传入实现标记（无扩展兼容写法） #

不需要额外语法扩展，通过传入对应实现的空值让编译器识别要调用的实例：

-- 先定义两个空类型，分别对应两种计算器实现
data DumbCalc = DumbCalc
data SmartCalc = SmartCalc

-- 正确定义类型类，方法签名中带上计算器类型参数c
class Calculator c where
  add :: Num a => c -> a -> a -> a
  sub :: Num a => c -> a -> a -> a

-- 实现DumbCalc实例
instance Calculator DumbCalc where
  add _ _ _ = 5
  sub _ _ _ = 3

-- 实现SmartCalc实例
instance Calculator SmartCalc where
  add _ a b = a + b
  sub _ a b = a - b

调用示例：

main :: IO ()
main = do
  print $ add DumbCalc 2 3  -- 返回5
  print $ sub DumbCalc 10 2 -- 返回3
  print $ add SmartCalc 2 3 -- 返回5
  print $ sub SmartCalc 10 2 -- 返回8

写法2：类型指定（扩展简化写法） #

开启两个常用语法扩展后，可以不用传标记值，调用时直接指定要使用的实现类型即可，代码更简洁：

{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE TypeApplications #-}

data DumbCalc = DumbCalc
data SmartCalc = SmartCalc

class Calculator c where
  add :: Num a => a -> a -> a
  sub :: Num a => a -> a -> a

instance Calculator DumbCalc where
  add _ _ = 5
  sub _ _ = 3

instance Calculator SmartCalc where
  add = (+)
  sub = (-)

main :: IO ()
main = do
  print $ add @DumbCalc 2 3
  print $ sub @SmartCalc 10 2

你要的“不修改主逻辑即可替换实现”的需求可以直接通过参数化通用逻辑实现：

-- 通用业务逻辑，完全不绑定具体计算器实现
calcBusiness :: Calculator c => c -> IO ()
calcBusiness calc = do
  putStrLn $ "1 + 2 计算结果：" <> show (add calc 1 2)
  putStrLn $ "10 - 4 计算结果：" <> show (sub calc 10 4)

main :: IO ()
main = do
  -- 切换实现只需要改这里传入的标记值即可，业务逻辑代码完全不用动
  putStrLn ">>> 使用简易计算器"
  calcBusiness DumbCalc
  putStrLn ">>> 使用智能计算器"
  calcBusiness SmartCalc
  -- 后续新增高性能计算器版本，只要写对应的Calculator实例，直接传入即可完成接入

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