Перемещение списка в другом списке в Haskell

Question

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

Prelude> rev [[3,4,5],[7,5,2]] 
[[2,5,7],[5,4,3]] 

Я знаю, что следующий код изменяет список:

rev :: [[a]] -> [[a]] 
rev [[]] = [[]] 
rev [[x]] = [[x]] 
rev xs = last xs : reverse (init xs) 

Я изо всех сил за то время, я сделал некоторые дополнения к коду, но он по-прежнему не работает и я застрял.

rev :: [[a]] -> [[a]] 
rev [[]] = [[]] 
rev [[x]] = [[x]] 
rev xs = last xs : reverse (init xs) 
rev [xs] = last [xs] : reverse (init [xs]) 

Буду признателен за любую помощь. Заранее спасибо.

Answer 1

Мы должны отменить внутренние списки и список выходных. Чтобы отменить внутренние списки, вы можете использовать map для применения reverse для каждого элемента списка: map reverse [[3,4,5],[7,5,2]] == [[5,4,3],[2,5,7]]. Затем просто снова измените результат reverse $ map reverse [[3,4,5],[7,5,2]] == [[2,5,7],[5,4,3]].

Функция, которая составляет только композицию reverse и map reverse, поэтому rev = reverse . map reverse.

Здесь мы сначала перевернем внутренние списки, а затем список, но порядок не имеет значения, и мы можем сделать это наоборот: rev = map reverse . reverse.

Answer 2

Самый естественный подход, безусловно, либо map reverse . reverse, либо reverse . map reverse. Это, вероятно, наиболее эффективным, однако, чередовать операции в явном виде:

revrev :: [[a]] -> [[a]] 
revrev = foldl (\ acc xs -> reverse xs : acc) [] 

Если вы хотите играть в гольф-код, вы можете написать это как

revrev=foldl(flip((:).reverse))[] 

, но не делают этого.