【関数型言語】ファンクター（関手）

「すごいHaskell楽しく学ぼう！」

第11章「ファンクターからアプリカティブファンクターへ」

11.1　「帰ってきたファンクター」より。

ファンクターとは関数で写せるもののことです。

 ファンクターの型クラスメソッドは一つだけで、それは fmap です。fmap の型は fmap :: (a -> b) -> f a -> f b です。

 fmap については2通りの考え方ができます。

• fmap は関数とファンクター値をとって、その関数でファンクター地を写して返すものである。
• fmap は値から値への関数をとって、それをファンクター値からファンクター値への関数に持ち上げたものを返す関数である。