Haskell中能否基于类实现函数重载？附具体需求示例

首先，标准Haskell中无法直接实现这个需求——静态类型系统要求函数行为必须在编译时确定，而类型类实例是开放的（可在任意模块新增），编译器无法判断某个类型是否没有Eq实例。但借助GHC扩展，我们可以实现类似逻辑，以下是两种可行方案：

方案1：利用重叠实例（Overlapping Instances） #

通过自定义类型类，为Eq实例类型和所有其他类型分别提供实现，让GHC优先匹配更具体的实例：

{-# LANGUAGE FlexibleInstances, OverlappingInstances #-}

class Equal a where
  equal :: a -> a -> Bool

-- 当类型a是Eq实例时，复用(==)逻辑
instance Eq a => Equal a where
  equal = (==)

-- 所有非Eq实例类型，默认返回False
instance Equal a where
  equal _ _ = False

注意事项 #

• 依赖FlexibleInstances和OverlappingInstances两个GHC扩展；
• 若后续为某个类型新增Eq实例，该类型的equal行为会自动切换为使用==，无需修改equal函数代码。

方案2：运行时检查约束字典（Dict + Typeable） #

借助Data.Constraint和Data.Typeable，在运行时动态判断类型是否具备Eq约束：

{-# LANGUAGE ScopedTypeVariables #-}

import Data.Constraint (Dict(..))
import Data.Typeable (Typeable)

equal :: forall a. Typeable a => a -> a -> Bool
equal x y = case eqT :: Maybe (Dict (Eq a)) of
  Just Dict -> x == y  -- 存在Eq约束，调用(==)
  Nothing -> False     -- 不存在Eq约束，返回False

注意事项 #

• 需要Typeable约束（Haskell基础类型大多默认实现了Typeable）；
• 此方式为运行时检查，相比重叠实例更安全，不会因后续新增实例隐式改变函数行为。

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