Странные вещи в катс-эффектах наблюдаю. Вот есть у них тип

Question

Странные вещи в катс-эффектах наблюдаю. Вот есть у них тип

StackSafeMonad. И я в одном месте потребовал MonadError with StackSafeMonad. И можно увидеть, что для IO/Eval/Future есть соответствующие инстансы. Но с тем же IO всё разбивается об такой код
class IOEffect extends Effect[IO] with StackSafeMonad[IO] {...}
implicit val ioEffect: Effect[IO] = new IOEffect
где успешно теряется признак StackSafe.
Нафига они так сделали?

#programming #russian #scala

0

22.08.2018