JS
в данном случае (>>) aka thenIO, но она делает то же самое
>>= инлайнится в кейс.Size: a a a
2020 October 30
JS
Так
>>= инлайнится в кейс.не успевает, матч сваливается раньше
JS
instance Monad IO where
(>>) = (*>)
instance Applicative IO where
(*>) = thenIO
thenIO :: IO a -> IO b -> IO b
thenIO (IO m) k = ...
JS
throw бросает исключение при попытке вычислить (>>) к следующему принту
JS
проще говоря, нельзя исполнить IO без его вычисления
A
я пробовал писать на эскелето несколько лет назад, но в какой-то момент остановился, когда сырые запросы стали достигать 70+ строк, а вьюхи лень было прикручивать
JS
Тогда в чем разница между throw и throwIO?
например, в типах. throw можно использовать и в других контекстах
JS
Тогда в чем разница между throw и throwIO?
кстати, ответ на этот вопрос есть прямо в документации https://hackage.haskell.org/package/base-4.14.0.0/docs/Control-Exception.html#v:throwIO
JS
кстати, ответ на этот вопрос есть прямо в документации https://hackage.haskell.org/package/base-4.14.0.0/docs/Control-Exception.html#v:throwIO
читайте доки, они рулез
.
например, в типах. throw можно использовать и в других контекстах
Комментарий SPJ [1]
> The whole point of throwIO is that it consumes a state token, and that's what sequences it relative to earlier producers of the state token.
И документация [2] говорят иначе.
Реализация различается лишь в том, что throwIO обернут в IO конструктор.
[1]: https://gitlab.haskell.org/ghc/ghc/-/issues/5129
[2]: https://hackage.haskell.org/package/base-4.14.0.0/docs/Control-Exception.html#v:throwIO
> The whole point of throwIO is that it consumes a state token, and that's what sequences it relative to earlier producers of the state token.
И документация [2] говорят иначе.
Реализация различается лишь в том, что throwIO обернут в IO конструктор.
[1]: https://gitlab.haskell.org/ghc/ghc/-/issues/5129
[2]: https://hackage.haskell.org/package/base-4.14.0.0/docs/Control-Exception.html#v:throwIO
AV
Вообще всякий float-out може случиться
А
Добрый день! Сразу извиняюсь, что не по теме, но у меня серьёзный опрос))
Хочу узнать, что мотивирует IT-специалистов на работу.
Займёт всего несколько минут, но очень сильно мне поможете)
Если не затруднит – поделитесь, пожалуйста, в опросе (не надо писать, что ссылка подозрительная 🙃 это гугл форма): https://forms.gle/vX3nutJs8FkRHsZp7
Заранее огрооомное спасибо!
Хочу узнать, что мотивирует IT-специалистов на работу.
Займёт всего несколько минут, но очень сильно мне поможете)
Если не затруднит – поделитесь, пожалуйста, в опросе (не надо писать, что ссылка подозрительная 🙃 это гугл форма): https://forms.gle/vX3nutJs8FkRHsZp7
Заранее огрооомное спасибо!
AV
типа
foo = error e
bar = error e
----
сделается
common = error e
foo= common
bar = common
ты вызовешь foo, результат "мемоизируется", и при bar сразу буде
foo = error e
bar = error e
----
сделается
common = error e
foo= common
bar = common
ты вызовешь foo, результат "мемоизируется", и при bar сразу буде