lista Haskell comprensión de número variable de cuerdas

Question

Si tengo dos cuerdas que utilizar una lista por comprensión para obtener el resultado deseado:

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

Durante tres cuerdas, que usan este

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

Lo que Lo que intento es obtener el mismo resultado para un número variable de cadenas. Por ejemplo, si tengo una función que toma la forma siguiente:

combineStrings :: [String] -> [String] 

Estoy tratando de obtener los mismos resultados que el anterior para 2, 3 ... n listas ... He intentado varias formas, como este uno

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

pero esto falla debido a [] en la primera cláusula. ¿Alguien puede ayudarme a escribir esto, por favor?

Answer 1

Trate

combineStrings [] = [""] 

o mejor (como ha señalado sdcwc):

combineStrings [] = [[]] 

De lo contrario la parte b <- combineStrings tl de la lista por comprensión, no dieron b y siempre se va a terminar con una matriz vacía

También tiene sentido como caso de borde: la única manera de combinar caracteres de cero cadenas es una cadena vacía (que consta de cero caracteres).

Answer 2

Notable: Haskell ya tiene esa función, sólo un poco más general:

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

[] es una instancia de Monad, por lo que en este caso la firma se convierte en sequence :: [[a]] -> [[a]], con a = Char, sequence :: [String] -> [String].