如何实现同时支持Num类型与List类型的Haskell模式匹配函数？

你遇到的问题根源在于Haskell的类型系统要求函数的所有模式匹配子句必须有一致的类型。原来的double函数专门处理列表，类型是Num a => [a] -> [a]；但添加double x = x + x后，这个子句的类型是Num a => a -> a，两个类型无法统一，编译器因此报错。

要实现同时处理Num和List类型的需求，最直接的方式是用自定义类型类实现函数重载，具体步骤如下：

1. 定义自定义类型类 #

先声明一个名为Doubleable的类型类，规定所有实现该类的类型都必须提供double函数：

class Doubleable a where
    double :: a -> a

2. 为Num类型实现实例 #

让所有Num类型（比如Int、Float等）都实现Doubleable，逻辑就是把数值翻倍：

instance Num a => Doubleable a where
    double x = x + x

3. 为List类型实现实例 #

为元素是Num类型的列表实现Doubleable，复用你原来的列表处理逻辑：

instance Num a => Doubleable [a] where
    double [] = []
    double (x : xs) = (2 * x) : double xs

4. 测试代码 #

现在你可以同时调用两种类型的double了：

main = do
    print (double 20)       -- 输出 40
    print (double [1,2,3,4,5])  -- 输出 [2,4,6,8,10]

这种写法的核心是利用Haskell的类型类机制，让double函数根据输入的不同类型自动选择对应的实现逻辑，完美解决了类型冲突的问题。

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