D
как вы вообще находите все эти randomRIO и прочие IO функции, если вообще не понимаете, как работает do-нотация и монады внутри неё?🤔
наскоком
Size: a a a
2021 March 30
WB
Есть ли разница писать в таких случаях pure() или return() ?
[
наскоком
да я нескоком даже не понял бы, как этот do вообще использовать
[
Есть ли разница писать в таких случаях pure() или return() ?
да, return это легаси и может спутать
JS
Есть ли разница писать в таких случаях pure() или return() ?
нет
[
ну, функционал у них, конечно, один и тот же
[
но в таких случаях надо так же обращать внимание на смысловое наполнение
JS
по существу нет, а по современному стилю — лучше pure
WB
Ситуация вообщем та же что и mapM / traverse ?
RS
Значит с rand всё хорошо
Но вопрос что тут ему не нравится тк до вставления rand всё было ок
Но вопрос что тут ему не нравится тк до вставления rand всё было ок
к
return буквально как pure и определен по дефолту, но даже в другом случае он вряд ли может быть другим (ну если конечно у монады не будет два возможных юнита, но тогда они все равно должны иметь одинаковое поведение по законам, и не должны быть различимы)
к
Значит с rand всё хорошо
Но вопрос что тут ему не нравится тк до вставления rand всё было ок
Но вопрос что тут ему не нравится тк до вставления rand всё было ок
randomRIO возвращает IO Integer в данном случае, а ты работаешь не в IO контексте
к
чтобы поднять IO значение до твоего, нужен liftIO
к
rand <- liftIO (randomRIO (1 :: Integer, 20))
JS
Ситуация вообщем та же что и mapM / traverse ?
да
IK
минус хероку в том, что там сорцы билдить на сервере надо
В почему это минус?
RS
rand <- liftIO (randomRIO (1 :: Integer, 20))
Блин точно с чтением файла сделал, а тут забыл
Спасибо
Спасибо
D
В почему это минус?
лимит по времени на сборку
D
просто отвалится
IK
Я уверен что туда можно просто докер образы отсылать