我需要join函数在列表成员之间添加分隔符。我在Data.List.Utils和Data.String.Utils中找到了这个函数。不幸的是,这些模块似乎不是标准平台的一部分 由于它是一个非常标准的功能,我很确定它应该在标准平台的某个地方,也许还有其他名称。
有什么想法吗?
我找到了解决办法(但不能接受我的回答,我要等2天才能???)
答案 0 :(得分:14)
我找到了它(感谢Hoogle),它被称为intercalate
。
答案 1 :(得分:7)
Data.List定义intersperse
,其类型为a -> [a] -> [a]
,intercalate
类型为[a] -> [[a]] -> [a]
例如:
intersperse '_' "foo"
会"f_o_o"
intercalate "baa" ["f", "o", "o"]
将"fbaaobaaobaa"