Haskell：リストに参加するさまざまな方法

Question

リストがある場合[a,b,c,d,e]どのようにして、要素をサブリストに結合して順序を維持するかを見つける方法を教えてください。

出力はこの

[ [[a], [b], [c], [d]] 
, [[a,b], [c], [d]] 
, [[a], [b,c], [d]] 
, [[a], [b], [c,d]] 
, [[a,b,c], [d]] 
, [[a,b], [c,d]] 
, [[a,b,c,d]] 
] 

Answer 1

ようになるはずですあなたはこのようにそれを行うことができます。

sublists :: [a] -> [[[a]]] 
sublists [x] = [[[x]]] 
sublists (x:xs) = sublists xs >>= \(y:ys) -> [[x]:y:ys, (x:y):ys] 

ここでの主な洞察は、空のリスト入力にこれを拡張する論理的な方法がないことです - 実行可能な唯一の候補はsublists [] = [[[]]]でしたが、空のリストが導入されています（この場合は不要です）。

しかし、これは便利な不変の動機：インナーインナー（最も内側の）リストが空になることはありません（と、私たちは、これが[[x]:y:ys, (x:y):ys]で空のリストを導入しないことにより、ケースのままを確認してください - 私たちは[x]で新しいリストを追加唯一の時間彼らはすでに要素を持っています）。これにより、ラムダでのパターンマッチングが確実に失敗することはありません。代わりに(>>=)の

sublists :: [a] -> [[[a]]] 
sublists' [x] = [[[x]]] 
sublists' (x:xs) = do 
    (y:ys) <- sublists' xs 
    [[x]:y:ys, (x:y):ys] 

またはconcatMap：

sublists'' :: [a] -> [[[a]]] 
sublists'' [x] = [[[x]]] 
sublists'' (x:xs) = concatMap (\(y:ys) -> [[x]:y:ys, (x:y):ys]) (sublists'' xs)