fugafuga.write

日々のログ

2018-02-20から1日間の記事一覧

すごいH本 part71

アプリカティブファンクター ファンクターとは関数で写せるもののこと。リスト、Maybe、木など。 *Main Lib> :i Functor class Functor (f :: * -> *) where fmap :: (a -> b) -> f a -> f b (<$) :: a -> f b -> f a {-# MINIMAL fmap #-} -- Defined in ‘G…