如何解读Haskell编译器错误‘Couldn't match type: [b0] with: [a2] -> t’

问题根源：函数应用的左结合性 #

Haskell的函数应用是左结合的，所以你写的错误表达式：

sum map (+1) [1,2,3]

会被编译器解析成：

(((sum map) (+1)) [1,2,3])

而你预期的正确逻辑是让map (+1) [1,2,3]作为sum的单个参数，需要用括号明确优先级：

sum (map (+1) [1,2,3])

解析方式的差异直接导致了类型不匹配错误。

先明确基础类型 #

要理解错误，先记住两个核心函数的类型：

• sum（列表场景）：Num a => [a] -> a —— 接受一个数值类型的列表，返回该列表的和。
• map：(a -> b) -> [a] -> [b] —— 接受一个转换函数和一个列表，返回转换后的新列表。

逐行解析错误信息 #

编译器输出的错误：

<interactive>:1:5: error:
    • Couldn't match type: [b0]
                     with: [a2] -> t
      Expected: (a0 -> b0) -> (a1 -> a1) -> [a2] -> t
        Actual: (a0 -> b0) -> [a0] -> [b0]
    • In the first argument of ‘sum’, namely ‘map’
      In the expression: sum map (+ 1) [1, 2, 3]

1. 类型不匹配核心：Couldn't match type: [b0] with: [a2] -> t
   编译器尝试把map作为sum的第一个参数，但sum期望参数是数值列表（[a]），而map是一个函数。为了强行匹配，编译器推断出矛盾的要求：map的返回值（[b0]）需要同时是一个函数类型（[a2] -> t），这显然不可能。

2. Expected vs Actual 类型：

   • Expected: (a0 -> b0) -> (a1 -> a1) -> [a2] -> t：这是编译器根据你的调用方式推断出的sum“应该有的类型”——因为你给sum连续传了3个参数（map、(+1)、[1,2,3]），所以编译器认为sum需要是一个接受3个参数的函数，最终返回t类型的值。
   • Actual: (a0 -> b0) -> [a0] -> [b0]：这是map的真实类型——它只接受2个参数，返回一个列表。

3. 错误位置指向：In the first argument of ‘sum’, namely ‘map’
   明确指出问题核心：你把map作为sum的第一个参数，但sum根本不接受函数类型的参数，它只接受可折叠容器（比如列表）。

解决方法 #

用括号明确函数应用的优先级，让map (+1) [1,2,3]作为一个整体成为sum的唯一参数：

sum (map (+1) [1,2,3])

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