- 博客(6)
- 收藏
- 关注
原创 [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 215
原创 [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 258
原创 [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 306
原创 [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 machine Optimized tables C
2016-04-10 20:36:02 307
原创 [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 316
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人