们趋向于是纯函数式的。但是，在这些语言中，“monad”仅是只接受一个形式参数的函数的简称（有二个形式参数的函数叫做“dyad”）。数学家最初在1950年代晚期公式化单子概念（起绰号为“标准构造”），而术语“monad”成为主导要归功于范畴学家桑德斯·麦克兰恩。但是，上述的使用bind定义的形式，最初由数学家在1965年描述，用来证明任何单子都可以特征化为在两个（协变）函子之间的伴随。开始于1980年代，单子模式的模煳概念在计算机科学社区中浮出水面。依据编程语言研究者，计算机科学家于1970年代和1