λ[α =>F] 是什么意思？
What does λ[α =>F] mean?
我最近在学习 Scalaz。我想知道 λ[α =>F] 是如何工作的？
scala> Applicative[λ[α => Int]].point(10)
res45: Int = 0
scala> Applicative[λ[α => String]].point(10)
res46: String = ""
我可以理解 λ 在这里表示某种类型，但我找不到它的定义，想知道上面的代码是如何工作的。
scalaz 使用 kind-projector。
Applicative[λ[α => Int]] 等同于 Applicative[({type l[a] = Int})#l]
我最近在学习 Scalaz。我想知道 λ[α =>F] 是如何工作的？
scala> Applicative[λ[α => Int]].point(10)
res45: Int = 0
scala> Applicative[λ[α => String]].point(10)
res46: String = ""
我可以理解 λ 在这里表示某种类型，但我找不到它的定义，想知道上面的代码是如何工作的。
scalaz 使用 kind-projector。
Applicative[λ[α => Int]] 等同于 Applicative[({type l[a] = Int})#l]