Разница между IO и UIO в скаляр ZIO

Question

В чем разница между IO и UIO в новой версии от ZIO, например UIO[Long] и IO[Nothing, Long]?

Answer 1

Разницы нет. Введите UIO[+A] = ZIO[Any, Nothing, A] и введите IO[+E, +A] = ZIO[Any, E, A]. Таким образом, UIO[Long] и IO[Nothing, Long] равны ZIO[Any, Nothing, Long] (т.е. любая среда, без ошибок и значение Long).

Вы можете проверить это, убедившись, что

implicitly[UIO[Long] =:= IO[Nothing, Long]]
implicitly[IO[Nothing, Long] =:= UIO[Long]]

компилировать.

UIO[A] - это IO[Nothing, A].