Haskell di lista in numero variabile di corde

Question

Se ho due stringhe utilizzare un elenco di comprensione per ottenere il risultato desiderato:

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

Per tre corde, io uso questo

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

Quello che ho sto cercando di ottenere lo stesso risultato per un numero variabile di stringhe. Per esempio, se ho una funzione che prende la seguente forma:

combineStrings :: [String] -> [String] 

sto cercando di ottenere gli stessi risultati di cui sopra per 2, 3 ... n liste ... Ho provato diversi modi, come questo uno

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

ma questo non riesce a causa di [] sulla prima clausola. Qualcuno può aiutarmi a scrivere questo, per favore?

Answer 1

Prova

combineStrings [] = [""] 

o meglio (come sottolineato da sdcwc):

combineStrings [] = [[]] 

In caso contrario, la parte b <- combineStrings tl della lista di comprensione non si produrrà alcun b e sarai sempre finire con un matrice vuota.

Ha senso anche come caso limite: l'unico modo per combinare caratteri da zero stringhe è una stringa vuota (costituita da zero caratteri).

Answer 2

Notevoli Haskell ha già tale funzione, appena un po 'più generale:

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

[] è un'istanza di Monad, quindi in questo caso la firma diventa sequence :: [[a]] -> [[a]], con a = Char, sequence :: [String] -> [String].