Haskell - Étrange faire bloquer le comportement

Question

En lisant le Haskell Wikibook à propos MonadPlus, j'ai trouvé la fonction suivante qui prend essentiellement un Char et un String et retourne Just (char,tail) si un tel caractère est égale à la tête de chaîne, ou Nothing autrement:

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

et ils expliquent que let (c':s') = s ne produira pas une exception, car il est dans un bloc do qui évaluerait à Nothing lorsque le motif échoue, mais ce n'est pas le cas, parce que quand je l'ai essayé:

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

j'avais donc de réécrire à:

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

et cela a fonctionné comme prévu ... Pourquoi est-il me passe?

Answer 1

Je pense que le wiki est faux. Ils sont probablement confondre avec le fait que lie échouer via la fonction fail un Monad offre. Ainsi, l'exemple suivant va utiliser la fonction fail de Maybe, qui retourne Nothing:

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