单子

✍ dations ◷ 2025-12-04 19:38:08 #计算机科学小作品,函数式编程

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

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

相关

  • 真核生物真核生物(学名:Eukaryota)是其细胞具有细胞核的单细胞生物和多细胞生物的总称,它包括所有动物、植物、真菌和其他具有由膜包裹着的复杂亚细胞结构的生物,而不包括细菌和古菌,因它
  • 德国痳疹风疹(英语:rubella, German measles, three-day measles),又称德国麻疹或三日麻疹,是一种由风疹病毒(英语:Rubella virus)感染所造成的疾病。本病的症状轻微,半数患病者通常不会有自
  • 欧盟委员会欧洲联盟委员会(英语:European Commission;法语:Commission européenne;德语:Europäische Kommission;意大利语:Commissione Europea),简称欧盟委员会,是欧洲联盟下辖的一个超国家机
  • 扩散方程扩散方程是一类偏微分方程,用来描述扩散现象中的物质密度的变化。通常也用来和扩散类似的现象,例如在群体遗传学中等位基因在群体中的扩散。扩散方程通常写作:其中
  • 亲潮亲潮((日语:親潮/おやしお oyashio,英语:Oyashio current)),或又称为千岛群岛洋流(日语:千島海流/ちしまかいりゅう chishima kairyū,英语:Kuril Current),是一股北太平洋亚寒带(英语:Subar
  • 类甲腺质类甲腺质(Thyronamine)是指脱羧和脱碘的甲状腺激素(甲状腺素和三碘甲腺原氨酸)及其衍生物。类甲腺质包括:
  • 高压氧治疗高压氧治疗,或简称高压氧,英文:Hyperbaric oxygen therapy (HBOT) ,乃医学上利用高压的氧气来提供治疗的方式。高压氧治疗利用了几个原理:高压氧最主要的治疗适应症包括:以上除一
  • 关税暨贸易总协定关税与贸易总协定(General Agreement on Tariffs and Trade,缩写:GATT),简称关贸总协定,是在布雷顿森林体系中,为规范和促进国际贸易和发展而缔结的国际协定。1930年代的全球经济大
  • 爱沙尼亚流亡政府爱沙尼亚流亡政府(爱沙尼亚语:Vabariigi Valitsus eksiilis)指爱沙尼亚共和国正式宣告的流亡管治当局,于1953年成立,直至爱沙尼亚于1992年恢复对爱沙尼亚领土行使主权为止。流亡
  • 硫化铟硫化铟是铟的硫化物之一,化学式为In2S3。硫化铟可由单质化合制得:或由硫化氢通入铟盐酸性溶液得到。硫代乙酰胺(C2H5NS)和硝酸铟在水溶液中回流,也能得到硫化铟。