单子

✍ dations ◷ 2025-06-08 08:07:55 #计算机科学小作品,函数式编程

单子(monad,也译单体)是函数式编程中的一种抽象数据类型,其特别之处在于,它是用来表示计算而不是数据的。在以函数式风格编写的程序中,单子可以用来组织包含有序操作的过程,或者用来定义任意的控制流(比如处理并发、异常、延续)。

单子的构造包括定义两个操作bind和return,还有一个必须满足若干性质的类型构造器M。

相关

  • 帕斯卡的赌注帕斯卡的赌注(英语:Pascal's Wager)是基督教辨惑学的哲学一部分,由17世纪的法国哲学家布莱兹·帕斯卡提出。帕斯卡假定所有人类对上帝存在或不存在下注。由于上帝可能确实存在,并
  • 偏差音音乐上的偏差音(inharmonicity)是乐器的本性,代表乐器发出的泛音频率偏离其基本频率整数倍的特性。钢琴调音(调律)中,所有平均律都需要微调,因为琴弦的刚性(stiffness)会产生偏差音。
  • RORRAR相关孤儿受体(英语:RAR-related orphan receptor,RORs)是核受体的一个家族,是细胞内转录因子的一员。有三个ROR家族成员:ROR-α、-β和-γ分别由基因RORA、RORB、RORC编码。ROR
  • 哈密顿原理在物理学里,哈密顿原理(英语:Hamilton's principle)是爱尔兰物理学家威廉·哈密顿于1833年发表的关于平稳作用量原理的表述。哈密顿原理阐明,一个物理系统的拉格朗日函数,所构成的
  • 卵巢静脉卵巢静脉(Ovarian vein)为女性生殖腺静脉(gonadal vein),携带去氧血从其相应的卵巢到下腔静脉、或是它其中的一个支脉。对于女性而言卵巢静脉相对于男性的精索静脉,并且是卵巢
  • 佐料调味料或调味品是指加入其他食物中,用来改善味道的食品成分。如果细分,调味料可以分为作料和佐料。作料指的是在烹调食物之前和过程中加入的调味料,比如腌制食物的料酒、炒菜时
  • 严如煜严如熤(1759年-1826年),字炳文,一字苏亭,号乐园。湖南溆浦人,清朝官员、地理学家。早年就读岳麓书院,精研天文、兵法。乾隆五十四年(1789年)优贡。乾隆六十年(1795年),参与镇压贵州苗族反
  • Acoelomorpha无腔动物亚门(学名:Acoelomorpha)是异无腔动物门下的一个亚门。它们拥有浮浪幼虫样动物的特征,以往被认为是属于后口动物,但有学者将它们成立为一个独立于后口动物的门。经过miRN
  • 阿加尼亚阿加尼亚,也称亚加纳(查莫罗语:Hagåtña、西班牙语:Agaña、英语:Agana)是关岛首都,位于岛的西岸。2000年,有人口1,100人。Hagåtña是查莫罗语“血”的意思,Agaña是西班牙人到关
  • 市场形式市场形式(Market Form), 经济学术语,是对例如完全竞争,垄断性竞争等不同类型市场的一个统称。主要的市场形式包括: