- 博客(6)
- 收藏
- 关注
RSS订阅原创 [Book Note] PFDS: Lists
signature STACKsig 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 Stackendstruct
2016-05-31 15:25:24
237
原创 [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
228
原创 [Book Note] Haskell: Monoid
Definitionclass Monoid m where mempty :: m mappend :: m -> m -> m mconcat :: [m] -> m mconcat = foldr mappend memptyRestrictionmempty `mappend` x = xx `mappend` mempty = x(x `mappend`
2016-05-18 11:27:43
283
原创 [Book Note] Haskell: Functor & Applicative
FunctorDefinitionclass Functor f where fmap :: (a -> b) -> f a -> f bRestrictionfmap id = idfmap (p . q) = (fmap p) . (fmap q)Built-ininstance Functor IO where fmap f action = do resul
2016-05-17 21:32:47
329
原创 [Paper Reading] The Implementation of Lua 5.0
Ierusalimschy, R., De Figueiredo, L. H., & Celes Filho, W. (2005). The Implementation of Lua 5.0. J. UCS, 11(7), 1159-1176.IntroductionMain novelties:Register-based virtual machineOptimized tablesC
2016-04-10 20:36:02
341
原创 [Paper Reading] Haystack
Beaver, D., Kumar, S., Li, H. C., Sobel, J., & Vajgel, P. (2010, October). Finding a Needle in Haystack: Facebook’s Photo Storage. In OSDI (Vol. 10, pp. 1-8).IntroductionHaystack is Facebook’s file st
2016-03-31 15:53:55
353
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人