环境中的术语环境意义

Question

Id文档状态

身份单..。是环境，也就是说纯值是Id的值。

什么是环境？环境一词与纯粹价值的含义有什么关系？当Id是一个类型构造函数时，为什么可以说是Id的纯值呢？再说一遍，Id实际上是一个类型构造函数还是一个正确的类型，因为:kind命令没有输出。

scala> type Id[A] = A
type Id

scala> :kind -v Id


scala>

Answer 1

ambient不是与FP或类型系统相关的术语，而是隐喻。

说到ambient，它们可能意味着它正在包装现有的类型，而实际上并没有对其产生太大的影响。

val i:Id[Int] = 3
val i2:Int = i       // Id[Int]==Int

说plain pure values are values of Id，它们意味着X类型的任何值也是Id[X]的值。

val i:Id[Int] = 3:Int
val s:Id[String] = "3":String

您可以将type Id[A] = A视为返回其参数A的“类型级别上的函数”。

类似的情况，但在类型级别上：

def Id[T](i:T):T = i

没有“类型级别上的函数”这样的术语，但是每个类型构造函数都类似于类型系统级别上的函数。