最近Scalazを勉強しています。λ[α =>F] がどのように機能するか知りたいですか?
scala> Applicative[λ[α => Int]].point(10)
res45: Int = 0
scala> Applicative[λ[α => String]].point(10)
res46: String = ""
ここで λ が何らかの型を意味することは理解できますが、その定義を見つけることができず、上記のコードがどのように機能するかを知りたいです。
最近Scalazを勉強しています。λ[α =>F] がどのように機能するか知りたいですか?
scala> Applicative[λ[α => Int]].point(10)
res45: Int = 0
scala> Applicative[λ[α => String]].point(10)
res46: String = ""
ここで λ が何らかの型を意味することは理解できますが、その定義を見つけることができず、上記のコードがどのように機能するかを知りたいです。