单子

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

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

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

相关

  • 公理系统数学上,一个公理系统(英语:Axiomatic system,或称公理化系统,公理体系,公理化体系)是一个公理的集合,从中一些或全部公理可以一并用来逻辑地导出定理。一个数学理论由一个公理系统和
  • 糯米Oryza glutinosa Matsum.糯稻(学名:拉丁语:Oryza sativa 拉丁语:glutinosa 英语:Glutinous rice),禾本科一年生草本植物,是稻的粘性变种,在籼稻和粳稻品种中都有糯稻变种,糯稻脱壳的米
  • 法国陆军法国陆军(法语:Armée de terre française)是法国军队的地面作战部队,法国海军陆战队属于法国陆军编制。在2007年,法国陆军共有134,000名正规士兵、15,500名后备士兵及25,750受
  • 南京官话南京话是江淮官话(淮语)的一种方言。现代南京话主要通行于南京市主城9区、溧水区北部、句容市和马鞍山市部分地区。南京官话曾长期是中国的官方语言,明代及清代中叶之前中国的
  • 东江本地话水源话,又称水源音或东江本地话,是东江流域中上游地区的一个土语群,主要分布于惠州和河源,处于客家语粤中片包围之中(1987年出版的中国语言地图集,把河源水源音归为粤中片,把惠州水
  • Mk 19自动榴弹发射器Mk 19自动榴弹发射器(Mk 19 Automatic Grenade Launcher)是美军在越战时开始装备至今的一种40毫米口径弹链供弹的全自动榴弹发射器,由美国海军兵工站所开发,通用动力及萨科(Saco)
  • 长沙雷锋纪念馆中国有4所雷锋纪念馆,它们是:
  • 四氧化三锰MnO·Mn2O3四氧化三锰是一种无机化合物,化学式为Mn3O4。四氧化三锰是一种黑色四方结晶,经灼烧成结晶,属于尖晶石类,离子结构为  
  • 阿塔卡马沙漠阿塔卡马沙漠(西班牙语:desierto de Atacama;又译亚他加马沙漠),是南美洲西海岸中部的沙漠地区,在安第斯山脉和南太平洋岸之间南北绵延约600英里(近1000公里),总面积约为70,000平方英
  • 硝酸铊硝酸铊(III)是一种无机化合物,化学式为Tl(NO3)3。它通常以三水合物的形式存在。它是无色固体,剧毒。它是一种强氧化剂——其分子内的三价铊和硝酸根离子都有氧化性。它受热分解,