Соответствие шаблону в примечаниях к примечанию vs let

Question

Недавно я столкнулся с ошибкой при использовании threepenny-gui, и это было решено путем изменения кода из совпадения шаблонов в обозначении <-, чтобы сопоставить образец с обозначением let.

Есть ли причины, по которым я должен ожидать изменения в поведении при изменении между этими двумя формами соответствия шаблонов?

В частности, следующий код:

В монаде IO:

Just events <- Map.lookup elid <$> readMVar sElementEvents 

было изменено на:

mevents <- Map.lookup elid <$> readMVar sElementEvents 
let Just events = mevents 

Вот ссылка на совершение фиксированной проблемы для меня: https://github.com/Davorak/threepenny-gui/commit/fbf6cbe25875fafdc64f7a111ddebf485b45143b

Дополнительная плата Детали TFORM: ОС: 10.8.5 GHC: 7.6.3

редактировать: добавить тот факт, что это происходит в IO монада

Answer 1

На самом деле, да, они производят различные виды ошибок. Отсутствует спичкой узор в let связывание вызывает шаблон матч error всякий раз, когда матч оцененную пока отсутствует совпадение шаблона из (<-) просто вызывает fail функция Monad экземпляра

В качестве простого примера рассмотрим Maybe монады, где

instance Monad Maybe where 
    ... 
    fail _ = Nothing 

test1 :: Maybe (Maybe()) 
test1 = do 
    Just a <- return Nothing 
    return a 

test2 :: Maybe (Maybe()) 
test2 = do 
    ma <- return Nothing 
    let Just a = ma 
    return a 

Если мы называем их обоих, мы получаем дико различное поведение

> test1 
Nothing 

> test2 
Just *** Exception: PM.hs:23:7-17: 
Irrefutable pattern failed for pattern Data.Maybe.Just a 

Вообще неопровержимое сопоставление - это плохая идея, если вы не уверены, что невозможно получить недостающие шаблоны, но если вы должны сделать это в Monad, то иногда неопровержимое сопоставление по привязке лучше, чем в let.