Oℕ
Скаловая, не Твитер
скаловая что значит
Size: a a a
2020 August 02
Oℕ
При определённых ограничениях, конечно монада, изоморфная Either[Throwable, *]
Oℕ
Без этих ограничений, непонятно что в скале является монадой
λ
скаловая что значит
Которая в скала стд либе
λ
Я так понимаю скаловая фьюча будет монадой только, если внутри чистые значения без эффектов
Oℕ
Я так понимаю скаловая фьюча будет монадой только, если внутри чистые значения без эффектов
Да
λ
В остальных случаях эт не монада
Oℕ
А если не ставить этого ограничения, то и опшен не могада
λ
А если такие случаи есть, но хз насколько правильно называть фьючу монадой в целом
λ
А если не ставить этого ограничения, то и опшен не могада
Понимаю
Oℕ
Суть в том, что с этими ограничениями смысла во фьюче нет
λ
Да в ней впринципе нет смысла)
Oℕ
В то время, как для некоторых других типов можно расширить ограничения и сохранить "монадность"
λ
В то время, как для некоторых других типов можно расширить ограничения и сохранить "монадность"
А про статью что скажешь?
𝛈µ
Я так понимаю скаловая фьюча будет монадой только, если внутри чистые значения без эффектов
Да
𝛈µ
В остальных случаях эт не монада
Референсная транспарентность нарушается
𝛈µ
Сунь туда принты и проверь законы
λ
Ну вот надо уже определить, что скаловая фьюча не монада в целом
AD
Да. Но нужна ли абстракция от конкретной монады?
Да ***, в этом и суть этого понятия
AD
Выделить свойства от его реализации