UIO、RIO、URIO中的U和R分别代表什么？

Question

ZIO 为常见的 ZIO 用法提供了这些方便的别名：

UIO[A]         // Equivalent to ZIO[Any, Nothing, A]
RIO[R, A]      // Equivalent to ZIO[R, Throwable, A]
URIO[R, A]     // Equivalent to ZIO[R, Nothing, A]

U、R 和 UR 在这些别名中代表什么？似乎 R 是可能对 ZIO 的第一个类型参数名为 R 的事实的引用。是真的吗？

Answer 1

U 代表“无例外”，因为它不会在错误通道中产生异常（因此 Nothing 在底层 ZIO 的错误通道中） .

R 代表“资源”或“需求”。我个人更喜欢将其视为后者，因为它更符合我在满足所有要求之前无法运行效果的心理模型。

UIO、RIO、URIO中的U和R分别代表什么？

What do U and R stand for in UIO, RIO, and URIO?

zio