单子

✍ dations ◷ 2025-11-22 19:27:41 #计算机科学小作品,函数式编程

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

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

相关

  • 法国国家太空研究中心法国国家空间研究中心(法语:Centre National d'Études Spatiales,缩写:CNES)是隶属于法国政府的航天研究组织,受国防与退伍军人事务部监督,组织类型为公立工商业机构。成立于1961
  • IMP肌苷酸(次黄苷酸,Inosinic acid),又名次黄嘌呤核苷酸(Inosine monophosphate,IMP),是一种在核糖核酸(RNA)中发现的核苷酸。在酶的作用下,由肌苷酸可以分解得到次黄嘌呤。其在体内主要参
  • 亚琛主教座堂亚琛主教座堂(德语:Aachener Dom)是位于德国亚琛并由许多不同时期基督教建筑艺术组合而成的主教座堂。其最早及最中心的部分,建成于805年,为查理大帝的国王行宫,建筑物31米高,直径
  • B06A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码B06(其它血液学药剂)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO Coll
  • 黄兴南路步行商业街黄兴路步行商业街指位于湖南长沙市天心区一条核心商业街。该街区地处黄兴路南段,北起司门口,南至南门口,全长830米左右,街面约宽24米,包括近万平方米的黄兴广场,总商业面积25万平
  • 皮亚琴期皮亚琴期(英语:Piacenzian)是上新世的晚期阶段。其起止时间为3.6百万年前和2.58百万年前。
  • 苦瓜烯醇苦瓜烯醇(英语:Momordenol,或称为豆甾-5,14-二烯-16-酮-3β-醇)是一种天然的豆甾烷型植物固醇,在1997年由S. Begum等于苦瓜(Momordica charantia)的新鲜果实中发现,因而得名,可溶于乙
  • 皮埃尔·舍费尔皮埃尔·亨利·马瑞·舍费尔(Pierre Henri Marie Schaeffer 法语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida
  • 法国省会及大区首府在法国,“préfecture”一词指省的行政中心,即省会;亦指大区的行政中心,即大区首府。 此外,省及大区政府办公楼也称为“préfecture”。 在法国这个单一制国家中,省会及大区首府由
  • 大和王权大和王权(或称倭王权)是公元4世纪至7世纪,以大和地区(奈良县)为中心,君临日本列岛中、西部各地豪族联合之上的王权。又名倭国、大倭国。年代为4~7世纪,晚于邪马台国,大化革新后由天皇