A
pure как минимум
Он нужен только если нам нужно поднять значение в монаду, не?
Size: a a a
2020 June 21
p
угу
Z
угу
Так а где шум от do-нотации?
t
pure как минимум
а без do-нотации pure не нужен?
p
опять конпелятор насилует
p
а без do-нотации pure не нужен?
без ду нотации не нужен трейт монада -> не нужен IO -> не нужен pure
Z
без ду нотации не нужен трейт монада -> не нужен IO -> не нужен pure
почему трейт не нужен? он не только в ду нотации применяется, а IO нашел применение только в ленивых языках, и никак с ду нотацией не связан, кроме того что это монада
SP
без ду нотации не нужен трейт монада -> не нужен IO -> не нужен pure
зато без этого у тебя не будет такого топового рандомного порядка вычислений когда если чтото не надо оно не расчитывается
t
количество в этом чате людей, не понимающих нахрена нужны монады, слишком велико
A
почему трейт не нужен? он не только в ду нотации применяется, а IO нашел применение только в ленивых языках, и никак с ду нотацией не связан, кроме того что это монада
IO вроде и в строгих языках есть, не?
t
в идрисе есть, он не ленивый
Z
IO вроде и в строгих языках есть, не?
есть, но их большая часть комьюнити не использует
t
"монады нинужны". при этом пользуются (кастрированным) синтаксическим сахаром поверх монад, где
>>= назвали ;A
есть, но их большая часть комьюнити не использует
А скала?
A
"монады нинужны". при этом пользуются (кастрированным) синтаксическим сахаром поверх монад, где
>>= назвали ;Ну это ты перебрал, конечно.
Z
А скала?
Одрески говорит что не использует io https://amp.reddit.com/r/scala/comments/8ygjcq/can_someone_explain_to_me_the_benefits_of_io/
SP
Одрески говорит что не использует io https://amp.reddit.com/r/scala/comments/8ygjcq/can_someone_explain_to_me_the_benefits_of_io/
кек я когда то находил эту ссылку
A
Одрески говорит что не использует io https://amp.reddit.com/r/scala/comments/8ygjcq/can_someone_explain_to_me_the_benefits_of_io/
И?
SP
кекеке
AZ
чет меня не впечатлила ваша ду нотация
во всех языках её таскают в том или ином виде