scala - scalaz ZIO中IO和UIO的区别

Question

UIO[Long]例如，ZIO 的新版本中的 IO 和 UIO 有什么区别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]。