单子

✍ dations ◷ 2025-12-08 10:58:56 #计算机科学小作品,函数式编程

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

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

相关

  • 挪亚七律挪亚七律(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey
  • 巧人能人(学名:Homo habilis),台湾称巧人,是灵长目动物里第一种被认为属于人类的生物,是人科人属中的一个种。1960至1963年,玛丽·利基于东非坦桑尼亚奥杜韦峡谷发现。生存在大约两百万
  • 数字图书馆数字图书馆(Digital Library)是一种馆藏以数字化格式存储,可以利用电脑访问的图书馆,而传统图书馆的馆藏则以印刷、微缩胶片或其他媒体等相对格式为馆藏主体。数字化的内容可以
  • 眼外肌使眼球垂直或水平运动的肌肉每个眼球有六块外肌(四块直肌和两块斜肌)来控制活动。外直肌、内直肌、下直肌和上直肌使眼球上下或左右转动,相互呈直角排列。〈人体学习百科〉
  • 市县合一市县合一(英语:Consolidated city-county)是指一个市和一个县合并成为了一个联合行政区。它既是一个拥有市法团的城市,同时也是一个州下属的行政区划,由此它也同时继承了这两种不
  • 鹳科鹳科(学名:Ciconiidae)在鸟类全基因组测序分类系统中是鸟纲鹳形目(Ciconiiformes)的唯一一个科。在西方又俗称送子鸟,因为在当地童话中,鹳常会带来新生儿。鹳形目在2014年的鸟类分
  • 艾玛莉·奥古斯塔 (萨克森王后)艾玛莉·奥古斯塔(德语:Amalie Auguste,1801年11月13日-1877年11月8日),巴伐利亚公主和萨克森王国王后。艾玛莉·奥古斯塔出生于慕尼黑,是巴伐利亚国王马克西米利安一世和卡罗利妮
  • 莫多克国家森林莫多克国家森林(英语:Modoc National Forest)是一座1,654,392英亩(6,695平方千米)的国家森林,位于加利福尼亚州东北部。森林的行政中心位于加州的阿尔图拉斯,此外在埃丁(英语:Adin, C
  • 联邦欧洲联邦欧洲(Federal Europe),也称为欧洲联邦主义,是将欧洲组成类似于美国的一个大型联邦制国家的政治主张。自1950年代以来, 欧洲一体化的发展产生了欧洲经济共同体这一个超国家的
  • 罗莎手术机器人励罗莎手术机器人(英语:ROSA)是一种医疗手术机器人能够在神经外科手术过程中协助医师减少手术完成时间并提高手术精准度。励罗莎手术机器人被法国的捷迈医疗器材股份有限公司(英