Динамическое число элементов для определения списка

Question

Я пытаюсь получить перестановки переменного количества строк в списке. Я уверен, что это возможно в Haskell, мне просто трудно найти ссылку для этого ,

Я ищу, чтобы быть в состоянии сделать это [ [n1] ++ [n2] ++ etc | n1 <- {first string}, n2 <- {second string}, etc ]

Где мой список может быть ["hey", "now"]

и мой результат будет выглядеть следующим образом:

["hn","ho","hw","en","eo","ew","yn","yo","yw"]

Как бы я мог сделать что-то подобное?

Answer 1

> sequence ["hey", "now"] 
["hn","ho","hw","en","eo","ew","yn","yo","yw"] 

sequence является очень общим, но в списках вы можете думать о нем, как если бы она была определена следующим образом:

sequence :: [[a]] -> [[a]] 
sequence [] = [[]] 
sequence (x:xs) = [ y:ys | y <- x, ys <- sequence xs ] 

Результат выше иногда называют «декартово произведение» списка списков, так как оно аналогично операции на множествах.

Answer 2

EDIT: Это работает только для строк длиной 2, но показывает desugaring из списка понимания (с return является concat и fmap является map, если я помню).

Вот это грубая сила для этого (если вы хотите знать возможный подход). Если вам нужна чистая версия, см. chi's answer.

concat $ map (\char1 -> map (\char2 -> char1:[char2]) string2) string1 должен это сделать. Возможно, лучший способ с учетом списка, но это тоже делает работу.

Объяснение:

concat $ -- Flatten lists 
    map (\char1 -> -- Iterate over each character of string1 
    map (\char2 -> -- Iterate over each character of string2 
     char1 : [char2] -- Add char1 to char2 
    ) string2 
) string1