如何将数字列表转为无格式字符串？Haskell代码类型错误求助

首先咱们来拆解你遇到的这个类型错误：

• Couldn't match type Char' with [Char]'
  Expected type: [String]
  Actual type: String

问题核心出在你使用的:运算符上。Haskell里的:是用来把单个元素加到列表头部的，比如'a' : "bc"会得到"abc"。但你这里的show x返回的是一个String（也就是[Char]）——比如show 1得到的是"1"，不是单个Char。当你写show x : toStr xs时，相当于试图把一个[Char]作为元素塞进另一个[Char]列表里，最终得到的类型会是[[Char]]（也就是[String]），但你的函数声明明确要返回String（[Char]），这就导致了类型不匹配的报错。

正确的实现方式 #

方式一：用字符串拼接运算符(++) #

把:换成(++)就好，因为(++)是专门用来拼接两个字符串（两个[Char]列表）的：

toStr :: (Num a, Show a) => [a] -> String
toStr [] = ""
toStr (x:xs) = show x ++ toStr xs

这里还要补两个细节：

• 你原来的函数没处理空列表的情况，必须加上toStr [] = ""作为递归的基准场景
• 类型约束需要补充Show a，因为show函数要求参数属于Show类型实例，光有Num a是不够的

方式二：用更简洁的标准库函数 #

Haskell标准库已经有现成的工具能做这件事——concatMap show，它会把列表里的每个元素转成字符串，再自动拼接成一个完整的字符串：

toStr :: (Num a, Show a) => [a] -> String
toStr = concatMap show

这样一行代码就搞定，可读性还更高。

测试一下的话，toStr [1,0,0,1,1,0]会直接返回"100110"，完全符合你的需求。

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