1957

摘要： 看看fmap的类型fmap :: Functor f => (a -> b) -> f a -> f b很明显的,第一个参数是function,第二个参数是functor的一个instance但是我们这么写ghci> let f = (*5) ghci> let g = (+3) ghci> (fmap f g) 8而且最后得到55看到这个当时我和我的小伙伴们都惊呆了!为毛啊,明明是一个 x -> y 的function啊,为毛可以!!!后来经过九瓜老师的点拨a + b我们可以看作 (+) a b同理 a -> b就是 (->) a 阅读全文