テキストスプリッタの背後にあるHaskellのパターンマッチングの概念

Question

テキストスプリッタの背後にあるHaskellのパターンマッチングの概念

このコードスニペットの背後にあるパターンマッチングの概念を知りたい：

 split :: String -> Char -> [String]
 split [] delim = [""]
 split (c:cs) delim
     | c == delim = "" : rest
     | otherwise = (c : head rest) : tail rest
       where
         rest = split cs delim

head はリストの最初の要素を返し、 tail は残りを返します。しかし、私はまだこの機能を理解できません。これは文字列を受け取り、与えられた文字から文字列のリストに分割します。

1

追加された 06 2月 2012 〜で 10:11 著者 Gihan 編集された 16 2月 2012 〜で 12:47

ビュー: 4

源

ru fr es pt de ar

1 答え

著者 Daniel Fischer · Answer 1 · 2012-02-06T10:30Z

たぶんそれは次のような形ではっきりしています：

split [] delim = [""]    -- a list containing only an empty String
split (c:cs) delim = let (firstWord:moreWords) = split cs delim
                     in if c == delim
                           then "" : firstWord : moreWords
                           else (c:firstWord) : moreWords

この関数は、各文字を区切り文字と比較して入力文字列を走査します。現在の文字が区切り文字でない場合は、文字列の残りの部分を分割した結果の最初の単語の前にタックが付けられます（空の場合もあります）。区切り文字の場合は、空の文字列が先頭に追加されます残りの部分を分割した結果の

たとえば、 split "abc cde" '' の評価は以下のように進行します。

split "abc cde" ' '
    ~> 'a' == ' ' ? No, next guard
    ~> ('a' : something) : somethingElse

something と somethingElse は、残りの "bc cde"を分割して後で決定します。最初の文字を見ると、最終結果が何であれ、最初のエントリは 'a'で始まります。残りを決定するために進むと、

split "bc cde" ' '
    ~> ('b' : something1) : somethingElse1
       where (something1 : somethingElse1) = split "c cde" ' '

したがって、結果の最初のエントリの最初の2文字が分かりました。次のステップから something1 が 'c' で始まると判断されます。最後に、デリミタに到達します。これは、結果の最初の要素が後の再帰呼び出しを参照せずに決定され、残った結果のみが再帰で見つかるままである場合です。

アルゴリズムを定式化するもう一つの方法は、（おかげさまで@ dave4420の提案です）

split input delim = foldr combine [""] input
  where
    combine c [email protected](~(wd : wds))
        | c == delim = "" : rest
        | otherwise  = (c : wd) : wds