单子

✍ dations ◷ 2025-12-08 03:57:53 #计算机科学小作品,函数式编程

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

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

相关

  • 复制复制(英文:Copying;中文音译:拷贝)是将某事物通过某种方式制作成相同的一份或多份的行为。在中文里,台湾和港澳地区亦将英文中表示利用生物技术由无性生殖产生与原个体有完全相同
  • 拟菌病毒科拟菌病毒科(学名:Mimiviridae)是核质巨DNA病毒的一个科,成员均为巨大病毒,包含拟菌病毒、Klosneuvirus(英语:Klosneuvirus)、Cafeteriavirus(英语:Cafeteriavirus)、图邦病毒等,可能还包
  • 弗拉维奥·比翁多弗拉维奥·比翁多(英语:Flavio Biondo),(1392年-1463年),文艺复兴时期欧洲考古学家。为考古学研究的先驱。他在其所著的一本著作《论拉丁语》(1435年出版)中,他把意大利语和拉丁语两者
  • 草露宝光草露宝光或简称宝光(来自于德文 “Heiligenschein” 意为“halo”(光环)或“aureola”(光背),字面意思为“神圣的光”,发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doul
  • 瓜子瓜子是在亚洲部分地区常见的一种零食,原料为西瓜或葵花的籽。其中,南亚所产的一种无壳的瓜子最为独特。瓜子通常是炒熟或煮熟,为了增加风味可以同时加入盐、花椒、桂皮、大茴等
  • 奥古斯特·凯库勒弗里德里希·奥古斯特·凯库勒·冯·斯特拉多尼茨(德语:Friedrich August Kekulé von Stradonitz,1829年9月7日-1896年7月13日),德国有机化学家。从1850年代直到他去世,凯库勒是欧
  • 全球城市人口排名本条目列出了“市域”概念定义下的世界上人口最多的城市。市域(city proper)是由法定或政治边界和定义的地方,是常以某种形式的地方政府为特征的行政上认可的城市。 市域及其边
  • 公秉千升,是容量计量单位,符号为kL。同时也是国际单位制(SI)单位。立方尧米、立方佑米(Ym3) 立方泽米、立方皆米(Zm3) 立方艾米(Em3) 立方拍米(Pm3) 立方垓米、立方太米(Tm3)立方京米、立
  • 墨西哥总统墨西哥总统(西班牙语:Presidente de los Estados Unidos Mexicanos)墨西哥实行总统制,总统是国家元首、政府首脑和墨西哥军队总司令。办公地点位于国家宫。现任总统是洛佩斯·奥
  • 科瓦利斯 (俄勒冈州)科瓦利斯(英语:Corvallis /kɔːrˈvælᵻs/)是美国俄勒冈州中西部的一个小型城市,为本顿县的县治,中文又称谷心镇。因威拉米特河的支流玛丽河流经此地而被称为玛丽威尔(Marysvill