関数Applicative
関数型
(->) r のApplicative型クラス関数Applicativeの定義
hsinstance Applicative ((->) r) where
pure x = (\_ -> x)
f <*> g = \x -> f x (g x) pure :: b -> (a -> b) const と同じKコンビネータである
(<*>) :: (a -> b -> c) -> (a -> b) -> (a -> c) Sコンビネータである
fmapは
(.) と同じであるhs(+) <$> (+3) <*> (*100) $ 5 --508これが上手くハマるケースがあるのかどうかはわからない