- 博客(4)
- 收藏
- 关注
原创 [Book Note] PFDS: Lists
signature STACK sig type a Stack val empty : a Stack val isEmpty : a Stack -> bool val cons : a * a Stack -> a Stack val head : a Stack -> a val tail : a Stack -> a Stack endstruct
2016-05-31 15:25:24 217
原创 [Book Note] Haskell: Monad
Definitionclass Monad m where return :: a -> m a (>>=) :: m a -> (a -> m b) -> m b (>>) :: m a -> m b -> m b x >> y = x >>= \_ -> y fail :: String -> m a fail msg = error msgclass
2016-05-19 16:28:20 203
原创 [Book Note] Haskell: Monoid
Definitionclass Monoid m where mempty :: m mappend :: m -> m -> m mconcat :: [m] -> m mconcat = foldr mappend memptyRestrictionmempty `mappend` x = x x `mappend` mempty = x (x `mappend`
2016-05-18 11:27:43 259
原创 [Book Note] Haskell: Functor & Applicative
FunctorDefinitionclass Functor f where fmap :: (a -> b) -> f a -> f bRestrictionfmap id = id fmap (p . q) = (fmap p) . (fmap q)Built-ininstance Functor IO where fmap f action = do resul
2016-05-17 21:32:47 307
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人