fmap
圏論でいうところの関手(functor)を表したHaskellの関数。 code:memo.hs
-- リストの対象を返す関数
map :: (a -> b) -> a -> b -- リスト以外でも使える、より一般化されたもの。
-- Functor 関手
-- Maybeとか他のものにも使える
fmap :: Functor f => (a -> b) -> f a -> f b
fmap id = id
$ F \ \mathrm{id} = \mathrm{id}
合成
fmap (f . g) = fmap f . fmap g
$ F \ (f \circ g) = F \ f \circ F g
確認用
Q. fmap