Monad 速成教程1(介绍)

介绍

Monad 可能是编程中最神秘的概念. 我看来这可能是由于:

• 对 Category theory / 范畴论 不熟悉;
• 许多作者小心地饶开了 category, 根本不提它
  

这就好比抛开微积分讨论电学. 换个保险丝可能没问题, 但想设计一个扩音机就不够了.

本速成教程首先简要介绍 category 和 functor , 然后我们定义一个 monad , 再给出范畴论中关于 monad 的一些基本例子, 最后展示编程语言中 monad 的用法.

我相信如果你从范畴论的观点来看的话, 一切看起来都是很基本的.

Vlad Patryshev, 3/7/2006 - 2/12/2007

请在非 IE 核心浏览器下浏览. 欢迎志愿者为 IE 重新排版此文.