Chinaunix首页 | 论坛 | 博客
  • 博客访问: 7998
  • 博文数量: 1
  • 博客积分: 25
  • 博客等级: 民兵
  • 技术积分: 16
  • 用 户 组: 普通用户
  • 注册时间: 2012-01-10 01:51
文章分类

全部博文(1)

文章存档

2013年(1)

我的朋友

发布时间:2013-08-09 09:38:33

要理解Haskell的Monad,需要对类型构造子和值构造子有一定的认识。参数化类型其行为本身是一个“自举”的行为,这就触及了 罗素悖论的观点,因此让人恐惧的范畴论就应势而出。不过这也让我们得以在程序语言中浅尝一番这艰涩难懂的数学概念。......【阅读全文】

阅读(1367) | 评论(0) | 转发(0)
给主人留下些什么吧!~~
留言热议
请登录后留言。

登录 注册