F
_
とは何か
#scala
こんなコードがあったとして:
code:scala
trait Functor[F
_
]:
def map
A, B
(fa: F
A
)(f: A => B): F
B
このように読めば良い:
ある型
F[_]
が
Functor
であるということは
map[A, B](fa: F[A])(f: A => B): F[B]
という実装があればいいよ