ハスケル - 奇妙は<strong>ハスケルWikibook</strong>約<a href="https://en.wikibooks.org/wiki/Haskell/MonadPlus" rel="nofollow">MonadPlus</a>を読んでいる間行動

Question

ブロック行い、私は基本的にCharとStringを取り、そのような文字が他の文字列の先頭、又はNothing等しい場合Just (char,tail)を返し、次の機能が見つかりました：

char :: Char -> String -> Maybe (Char, String) 
char c s = do 
    let (c':s') = s 
    if c == c' then Just (c, s') else Nothing 

と、彼らはそれがパターンが失敗したときNothingに評価されますdoブロック内にある原因let (c':s') = sは、例外を生成しませんが、私はそれをしようとしたときので、それは、そうではないことを説明：

*Main> char 'a' "" 
*** Exception: exercice2.hs:5:7-17: Irrefutable pattern failed for pattern (c' : s') 

は、だから私はそれを書き換える必要があった：

char' :: Char -> String -> Maybe (Char, String) 
char' _ [] = Nothing 
char' c (c':s') 
    | c == c' = Just (c,s') 
    | otherwise = Nothing 

、それは予想通り...なぜそれが私に起こっている働いていましたか？

Answer 1

私はウィキが間違っていると思います。彼らはおそらく、がをバインドして、failの機能を使って失敗するという事実とこれを混同している可能性があります。Monadがあります。したがって、次の例では、Nothing戻りMaybeからfail関数を使用します。

char :: Char -> String -> Maybe (Char, String) 
char c s = do 
    (c':s') <- return s 
    if c == c' then Just (c, s') else Nothing