AP
Паттерн матчинг в do работает не так, как в объявлении функций
Size: a a a
2020 December 13
AP
Частичная функция не делает fail, потому что нет контекста MonadFail
AP
Можно comprehension написать — там тоже работает fail матчинга
AP
Или делать явный case с fail в другой ветке. Собственно так do и рассахаривает биндинг в паттерн
к
А как без do переписать ваш пример?
safeHead l = pure l >>= \case
x:_ -> pure x
_ -> fail "pattern matching bla bla"
pure l >>= тут конечно можно выпиливать спокойно
x:_ -> pure x
_ -> fail "pattern matching bla bla"
pure l >>= тут конечно можно выпиливать спокойно
AP
Паттерн матчинг в do работает не так, как в объявлении функций
А, логично, спасибо
A
а как он тут поймет, что это именно Maybe?
AP
safeHead l = pure l >>= \case
x:_ -> pure x
_ -> fail "pattern matching bla bla"
pure l >>= тут конечно можно выпиливать спокойно
x:_ -> pure x
_ -> fail "pattern matching bla bla"
pure l >>= тут конечно можно выпиливать спокойно
Спасибо
к
а как он тут поймет, что это именно Maybe?
никак, он работает с любым MonadFail
AP
а как он тут поймет, что это именно Maybe?
Так тут не именно Maybe, тут любой MonadFail
AP
Для list тоже будет работать
AP
Даст пустой список
AP
> safeHead l = do { (x:_) <- pure l; pure x }
> safeHead [] :: [Int]
[]
> safeHead [] :: Maybe Int
NothingAP
> :t safeHead
safeHead :: MonadFail m => [b] -> m bA
ну я собственно потому и спросил, думал что вопрос именно в том, чтобы не любой, а конкретно maybe.
AP
Ну я же указываю тип, который хочу получить
AP
Можно указать Just вместо pure — будет явный Maybe
A
ага
AP
Можно comprehension написать — там тоже работает fail матчинга
> :set -XMonadComprehensions
> safeHead l = [x | (x:_) <- pure l]
> :t safeHead
safeHead :: MonadFail m => [b] -> m b
> safeHead [] :: Maybe Int
NothingA
про сегодняшний AoC - только мне было лень писать реализацию решения китайской теоремы об остатках?