Haskell列表理解可变数量的字符串

Question

如果我有两个字符串,我使用列表推导来获得所需的结果:

 combineStrings firstStr sndStr = [ [a,b] | a <- firstStr, b <- sndStr]

对于三个字符串,我使用它

 combineStrings firstStr sndStr trdStr = [ [a,b,c] | a <- firstStr, b <- sndStr, c <- trdStr]

我正在尝试的是获得可变数量的字符串相同的结果.例如,如果我有一个采用以下形式的函数:

 combineStrings :: [String] -> [String]

我试图获得与上面2,3,... n列表相同的结果......我尝试了多种方式,比如这个

 combineStrings []      = []
 combineStrings (hd:tl) = [ a:b | a <- hd, b <- combineStrings tl]

但是因为第一个条款的[]而失败了.有人可以帮我写这个吗？

Answer 1

值得注意的是:Haskell已经具备了这个功能,只是更为通用:

Prelude> :t sequence
sequence :: Monad m => [m a] -> m [a]
Prelude> sequence ["ab","cd","12"]
["ac1","ac2","ad1","ad2","bc1","bc2","bd1","bd2"]

[]是的实例Monad,所以在这种情况下,签名变得sequence :: [[a]] -> [[a]]与a = Char,sequence :: [String] -> [String].

许多.这是一件好事,只要他们很快被告知标准库中已经存在(通常更常见的)功能,因为正如你所说,这是一种非常好的学习体验.只是,一旦你通过编写自己的版本弄清楚它是如何工作的,就可以使用其他Haskellers已经知道的库函数. (4认同)
@Adi @DanielFischer实际上,在这一点上,一个很好的练习就是编写一个自己的`sequence`实现.这些简单但非常通用的功能总是能够很好地学习. (2认同)

Answer 2

尝试

combineStrings [] = [""]

或者更好(正如sdcwc所指出的):

combineStrings [] = [[]]

否则,b <- combineStrings tl列表推导的部分将不会产生任何结果,b并且您将始终以空数组结束.

它作为边缘情况也是有意义的:组合来自零字符串的字符的唯一方法是空字符串(由零个字符组成).