Blog::Fergon -> [String]
fergon
全部博文(1)
2013年(1)
ynchnlui
baichenh
bamboo78
soul916
发布时间:2013-08-09 09:38:33
要理解Haskell的Monad,需要对类型构造子和值构造子有一定的认识。参数化类型其行为本身是一个“自举”的行为,这就触及了 罗素悖论的观点,因此让人恐惧的范畴论就应势而出。不过这也让我们得以在程序语言中浅尝一番这艰涩难懂的数学概念。......【阅读全文】
登录 注册