单子

✍ dations ◷ 2025-11-30 03:45:43 #计算机科学小作品,函数式编程

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

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

相关

  • 固缩固缩(又叫细胞致密变化,英语:Pyknosis)是细胞经历坏死或凋亡后核内染色质不可逆的压缩。接着会发生核破裂。红血球或中性白血球成熟时也会观察到固缩。
  • 绿色建筑可持续发展主题可再生能源主题环境主题绿色建筑或绿建筑(英语:Green Building),是指本身及其使用过程在生命周期中,如选址、设计、建设、营运、维护、翻新、拆除等各阶段皆达成环
  • 卡(Qa'a)是古埃及第一王朝的最后一位法老。其位于阿拜多斯的陵墓十分庞大,面积达到了98.5×75.5英尺(或30×23米)。据曼涅托之记载,卡的统治期长达26年——如果卡即为其书中记载的
  • 亚利桑那州立大学亚利桑那州立大学(英语:Arizona State University,縮寫:ASU),是美国亚利桑那州的一所公立研究型大学。该校由分散在凤凰城大都会区各地的5个校区与在哈瓦苏湖城的1个校区所组成,共
  • 山羊豆山羊豆(学名:Galega officinalis)为豆科山羊豆属下的一个种。
  • 学校体育体育(英语:Physical Education,缩写P.E.)是一项在小学、中学和大学中开展的教学活动,旨在促进参与者在身体活动的过程中获得身心全面发展。在不同国家学校体育教学的任务及目标存
  • 蓝丝绒《蓝丝绒》(英语:Blue Velvet)是1986年由大卫·林奇编导的美国悬疑电影,成功结合了黑色电影与超现实主义元素。电影由凯尔·麦克拉兰、伊莎贝拉·罗塞里尼、丹尼斯·霍柏与劳拉
  • 能源业发展办公室能源业发展办公室(葡文:Gabinete para o Desenvolvimento do Sector Energético,GDSE)是澳门特别行政区的政府部门,负责促进和协调一切与能源业有关的活动。能源业发展办公室于2
  • 美法短暂冲突美法短暂冲突也被称作美法战争、准战争(英语:Quasi-War;法语:Quasi-guerre),是1798年至1800年发生在美国和法国之间的海战。战争的双方并没有正式宣战。在美国独立战争中法兰西王
  • 次开前不圆唇元音次开前不圆唇元音是元音的一种,用于一些语言当中。在国际音标中以⟨æ⟩代表此音,X-SAMPA音标则是以⟨{⟩代表此音。英语里的cat的元音就是这个。汉语变体中,吴语苏州话的“逍