R
Size: a a a
2021 March 26
.
Меня смущает такой момент - с одной стороны, хаскелль борется за чистоту функций, кода и кармы, а с другой, разрешает монады, которым можно быть "грязными". В чём фокус?
СГ
.
Меня смущает такой момент - с одной стороны, хаскелль борется за чистоту функций, кода и кармы, а с другой, разрешает монады, которым можно быть "грязными". В чём фокус?
в том, что без сайдэффектов можно будет только процессор нагревать, в какой-то момент что-то с чем-то придется сделать
WB
.
Меня смущает такой момент - с одной стороны, хаскелль борется за чистоту функций, кода и кармы, а с другой, разрешает монады, которым можно быть "грязными". В чём фокус?
Фокус в том что ты должен быть уже достаточно мудр чтобы это принять
WB
Но из используемых язык самый чистый, хоть и не кристально
Y
.
Меня смущает такой момент - с одной стороны, хаскелль борется за чистоту функций, кода и кармы, а с другой, разрешает монады, которым можно быть "грязными". В чём фокус?
Монады тоже чистые
JS
.
Меня смущает такой момент - с одной стороны, хаскелль борется за чистоту функций, кода и кармы, а с другой, разрешает монады, которым можно быть "грязными". В чём фокус?
фокус в том, что вся грязнота эффекты представлены объектами внутри языка и управляемые, в отличие от "грязных" языков, где эффекты существуют везде и с ними ничего сделать нельзя
.
фокус в том, что вся грязнота эффекты представлены объектами внутри языка и управляемые, в отличие от "грязных" языков, где эффекты существуют везде и с ними ничего сделать нельзя
Зло неизбежно, но оно в наморднике.
к
да, именно так
2021 March 27
O
.
Меня смущает такой момент - с одной стороны, хаскелль борется за чистоту функций, кода и кармы, а с другой, разрешает монады, которым можно быть "грязными". В чём фокус?
IO это чистые вычисления, просто там в качестве стэйта весь мир
N
.
Меня смущает такой момент - с одной стороны, хаскелль борется за чистоту функций, кода и кармы, а с другой, разрешает монады, которым можно быть "грязными". В чём фокус?
Чистота - это сохранение ссылочной прозрачности. ИО как раз таки позволяет сохранить ссылочную прозрачность
IR
IO это чистые вычисления, просто там в качестве стэйта весь мир
Чистые только вычисления по получению новых вычислений с IO, а вычисление значения в IO не чистая.
Не путайте инструкции по эксплуатации и саму эксплуатацию.
Не путайте инструкции по эксплуатации и саму эксплуатацию.
IR
Кажется инсайдерский мемасик "в хаскеле даже IO чистый 😉" в какой-то момент потерял оригинальный смысл "чисто поржать" и начал восприниматься всерьёз.
YS
Вот научимся мир конструировать - будет чисто
YS
Сможем получать одни и те же рандомы на одних и тех же входных мирах)
JS
Вот научимся мир конструировать - будет чисто
звучит как политический лозунг
YS
звучит как политический лозунг
Земля - крестьянам, фабрики - рабочим, мир - хаскеллистам!
Y
> лень — хаскелистам!
E
Нашел на stack overflow вопрос на эту тему