2015年4月20日
泛函编程（21）－泛函数据类型－Monoid
摘要： Monoid是数学范畴理论（category theory）中的一个特殊范畴（category）。不过我并没有打算花时间从范畴理论的角度去介绍Monoid，而是希望从一个程序员的角度去分析Monoid以及它在泛函编程里的作用。从这个思路出发我们很自然得出Monoid就是一种数据类型，或者是一种在... 阅读全文
posted @ 2015-04-20 22:52 雪川大虫 阅读(2367) 评论(1) 推荐(0)