p
то есть можно тупо сделать какой-то кейворд IO для функций, и заставлять ставить его везде где идет ИО
Size: a a a
2020 April 01
SP
угу
SP
нет ну возможно я конечно не прав и там есть какието еще чудотворные эффекты
SP
“The IO monad does not make a function pure. It just makes it obvious that it’s impure.”
SP
вот еще можно почитать https://www.reddit.com/r/scala/comments/8ygjcq/can_someone_explain_to_me_the_benefits_of_io/
SP
почему такой хайп: в хаскеле функции не зашквареные ио супер явные, супер крутые, простые
то что ты внутри ио не значит что не можешь юзать не ио, т.е. можно юзать обычные функции. в ио прочитать файл а потом вызвать функцию которая работает со строками чтобы чтото вернуть например. и тут уже да, все круто композируемо, аж хлопает как сказал бы тарас
то что ты внутри ио не значит что не можешь юзать не ио, т.е. можно юзать обычные функции. в ио прочитать файл а потом вызвать функцию которая работает со строками чтобы чтото вернуть например. и тут уже да, все круто композируемо, аж хлопает как сказал бы тарас
SP
это надо попробовать все. в идешечке поделать функции которые ио и которые не ио. потраить их с ду и без ду, потраить их как ololo $ do...
p
вот мы тут про ФП говорим а я на фоне хернейй страдаю
а
datass
AZ
то есть можно тупо сделать какой-то кейворд IO для функций, и заставлять ставить его везде где идет ИО
сорт офф, тебе только нужно еще на уровне типов гарантировать что из ИО вылезти нельзя
AZ
в терминах аналогии с асинк_ио это аналогично block_on(foo)
AZ
если можешь это гарантировать - ну тогда да, ио получилось
p
в общем подумал, и че придумал:
1. IO это хорошо, видно где операции нечистые, а где чистые.
2. do-нотация плохо, так как не видишь разницы между await, IO, или связыванием Option'ов
1. IO это хорошо, видно где операции нечистые, а где чистые.
2. do-нотация плохо, так как не видишь разницы между await, IO, или связыванием Option'ов
D
s/do-нотация/монады/
p
нет, ду-нотация
AZ
в общем подумал, и че придумал:
1. IO это хорошо, видно где операции нечистые, а где чистые.
2. do-нотация плохо, так как не видишь разницы между await, IO, или связыванием Option'ов
1. IO это хорошо, видно где операции нечистые, а где чистые.
2. do-нотация плохо, так как не видишь разницы между await, IO, или связыванием Option'ов
ду нотация это просто сахар для монадического бинда
AZ
так что да, ругайся на бинд, что он на разных монада хразное делает
p
крч, ио хорошо если видно где ио а где не ио