Как это getRight :: Либо b -> Может быть, b работает?

Question

В HaskellWiki's Do notation considered harmful, раздел Полезные приложения, я нашел:

Следует отметить, что делать иногда берет бремя от вас писать скучные вещи.

E.g. в

getRight :: Either a b -> Maybe b 
getRight y = 
    do Right x <- y 
     return x 

case на у включен, который вызывает сбой, если у не является правой (т.е. слева), и, таким образом, ничего не возвращает в этом случае.

Вызов fail (Nothing) на несоответствие образов звучит интересно, поэтому я хотел бы попробовать это. Однако синтаксис выглядит неправильно - мы не в монаде Either, так как мы можем извлечь что-нибудь из y?

Действительно, я попробовал, и это дало мне «Не удалось совместить тип« Либо »с« Может быть »». Так что давайте использовать правильный шаблон Искателя, let здесь:

getRight y = do { let (Right x) = y; return x } 

Это дало мне ошибку синтаксиса «синтаксического анализа ошибок на входе`}»». Не то, что я понимаю, почему это не работает, но давайте писать в многострочной нотации:

getRight y = do 
    let (Right x) = y 
    return x 

Ах, что, казалось, работал - разобрать по крайней мере. Однако:

*Main> getRight (Right 5) 
Just 5 
*Main> getRight (Left 5) 
Just *** Exception: […]\test.hs:16:13-25: Irrefutable pattern failed for pattern (Data.Either.Right x) 
-- `Nothing` was expected 

Что дает? Так что я сейчас задаю вопросы:

• Что здесь произошло? Почему моя линия с запятой не работает?
• Как это сделать правильно (с do, все остальное тривиально)?

Answer 1

В примере, вероятно, предназначен, чтобы быть

getRight :: Either a b -> Maybe b 
getRight y = 
    do Right x <- return y -- note: return = Just 
     return x 

, где неудача поиска по шаблону вызывает fail = const Nothing. Она переведена на:

getRight y = let ok (Right x) = do {return x} 
       ok _   = fail "pattern mismatch error" 
      in return y >>= ok 

FWIW самые опытные люди, кажется, думают fail как метод Monad был бородавка. Отъезд MonadPlus для более принципиального подхода к неудаче.