Haskell中do语法转monad遇类型错误：为何unlines需传[arr]而非arr？

先拆解问题核心：

你的原始do语法根本没用到Monad #

你最初的do代码：

work :: String
work = do
    let arr = ["Get", "this", "to", "work"]
    let s = unlines arr
    s

这里的do只是纯代码的语法糖，完全等价于unlines ["Get", "this", "to", "work"]，和Monad没有任何关系——所有绑定都是let，没有触发任何Monadic操作，最终返回的是String类型的纯值。

错误写法的类型不匹配根源 #

你改成["Get", ...] >>= unlines时，实际用的是List Monad（因为左边是[String]，属于List Monad实例）。List Monad中>>=的类型定义是：

(>>=) :: [a] -> (a -> [b]) -> [b]

也就是说：左边是a类型的列表，右边必须是一个接受单个a、返回b类型列表的函数。

但unlines的类型是[String] -> String——它接受的是字符串列表，返回单个字符串。而>>=会把左边列表里的**每个元素（单个String）**传给右边的函数，这就导致类型完全不匹配：

• 期望的函数类型：String -> [b]（接受单个String，返回列表）
• 实际unlines的类型：[String] -> String（接受列表，返回单个String）
  这就是错误提示里“Couldn't match type ‘Char’ with ‘[Char]’”的原因。

正确写法能运行的原因 #

你改成\arr -> unlines [arr]后，这个匿名函数的类型是String -> String：arr是单个String，[arr]把它包装成[String]，正好符合unlines的参数要求，返回的String本质是[Char]。

这个函数正好符合List Monad对>>=右边函数的要求：String -> [Char]（即a -> [b]，其中a=String，b=Char）。此时>>=会遍历左边列表的每个元素，把每个String转成带换行的字符串，再把所有结果拼接成一个大的[Char]（也就是String）。

最后加的>>= return其实是多余的——return s在List Monad里是把s包装成[s]，但你的work类型是String，正确的等价写法应该直接是work = unlines ["Get", "this", "to", "work"]，完全不需要用>>=，因为你的原始do代码根本没有Monadic操作。

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