AZ
людям нужна
Size: a a a
2020 June 21
AZ
мне вот тоже
AZ
всегда в ней пишу когда могу
AZ
еще бы DoApplicative и ваще песня
t
>As soon as you actually execute the IO, you lose referential transparency
ну да, только это происходит вне кода, который находится в твоей зоне ответственности.
ну да, только это происходит вне кода, который находится в твоей зоне ответственности.
t
>the effects still occur in the same order, you just have to call .run at the end
это как жаловаться, что если дергать unsafePerformIO каждый раз, когда нужен результат, то язык чистоту теряет. можно ж просто не дергать?
это как жаловаться, что если дергать unsafePerformIO каждый раз, когда нужен результат, то язык чистоту теряет. можно ж просто не дергать?
t
ну и у функций, возвращающих IO, нет сайдэффектов, что бы там не писали на реддите
Z
ну я не вижу чтобы в скале большая часть библиотек юзала io, создатель языка говорит что это так себе идея, это достаточный аргумент в пользу не юзать io в скале?
t
это просто список инструкций. для одних и тех же аргументов - каждый раз один и тот же, т.к. IO-функции чисты.
A
ну я не вижу чтобы в скале большая часть библиотек юзала io, создатель языка говорит что это так себе идея, это достаточный аргумент в пользу не юзать io в скале?
На какие-то странные либы ты смотришь.
SP
это просто список инструкций. для одних и тех же аргументов - каждый раз один и тот же, т.к. IO-функции чисты.
вот только ты не сможешь взять одно и то же ио
t
вот только ты не сможешь взять одно и то же ио
кто мне запретит?
SP
просто не сможешь же, нет?
t
почему же? построение "списка инструкций" и его "вычисление" - разделенные (благодаря монадам) концепции. я могу строить один и тот же список кучу раз.
AZ
ну и у функций, возвращающих IO, нет сайдэффектов, что бы там не писали на реддите
НО ТАМ ЖЕ КТО-ТО ВЫПОЛНЯЕТ! ВСЁ ЭТО ФАРС И ПОДМЕНА ПОНЯТИЙ. ДОКЕР! КУБЕРНЕТЕС!
t
вычислять один и тот же список я могу тоже кучу раз, и получать каждый раз разные результаты
p
зато без этого у тебя не будет такого топового рандомного порядка вычислений когда если чтото не надо оно не расчитывается
я уже придумал как исправить ситуацию. Но это будет противоречить всей основной философии раста.
AZ
вот только ты не сможешь взять одно и то же ио
конечно могу
t
НО ТАМ ЖЕ КТО-ТО ВЫПОЛНЯЕТ! ВСЁ ЭТО ФАРС И ПОДМЕНА ПОНЯТИЙ. ДОКЕР! КУБЕРНЕТЕС!
о неть, зумеры открыли для себя существование рантайма
SP
почему же? построение "списка инструкций" и его "вычисление" - разделенные (благодаря монадам) концепции. я могу строить один и тот же список кучу раз.
у тебя есть функция взятия времени под ио. ты не сможешь подсунуть такое ио чтобы время бралось одно и то же. или файлики были одни и те же