单子

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

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

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

相关

  • 释迦牟尼释迦牟尼(梵语:शाक्यमुनि,Śākyamuni,意为《释迦族之圣者”》),姓乔达摩,名悉达多(公元前623/563/480年—公元前543/483/400年,巴利语:Siddhāttha Gotama;梵语:सिद्धा
  • Smsub2/subSsub3/sub三硫化二钐是一种无机化合物,化学式为Sm2S3。三硫化二钐可以和强酸反应,放出硫化氢,如:
  • 欧海尔国际机场奥黑尔国际机场(英语:O'Hare International Airport,IATA代码:ORD;ICAO代码:KORD;FAA代码:ORD)是美国伊利诺伊州芝加哥市的主要机场,位于市中心西北27公里。自1960年代扩建完成直到199
  • 中医外科中医外科学所指的多半为皮肤病等显而外见的疾病,与现行的一般外科病处理的疾病不相同。 中医外科学涉及病证、辩证治法有如下特征:
  • 那楚克·巴嘎班迪那楚克·巴嘎班迪(蒙古语:Нацагийн Багабанди,1950年4月22日-)蒙古族,蒙古国扎布汗省雅鲁县(Яруу)人,蒙古国政治家,1997年至2005年任蒙古总统。巴嘎班迪生于扎布
  • 田地耕地在地理学上是指可以用来种植农作物的土地。地球上1亿4800万平方公里的陆地中大约有3100万是可耕地,但目前可耕地面积正以每年10万平方公里的速度流失。而耕地流失的主因
  • km²平方千米(符号为km²,英语:Square kilometre)是面积的公制单位(SI Unit),其定义是“边长为1千米的正方形的面积”。平方尧米、平方佑米(Ym²) 平方泽米、平方皆米(Zm²) 平方艾米(Em²
  • 安德烈亚诺夫群岛安德烈亚诺夫群岛(英语:Andreanof Islands,阿留申语:Niiĝuĝin tanangis)是阿拉斯加西南部的群岛,属于阿留申群岛的一部分。安德烈亚诺夫群岛西缘和拉特群岛以安奇卡海峡相隔,以东
  • 水力压裂(油层)水力压裂(英语:Hydraulic fracturing,又称为水力劈裂、水力裂解技术)是开采页岩气时所用的方法,用水压将岩石层压裂,从而释放出其中的天然气或石油。1947年人类第一次使用水力
  • 西洋参花旗参(学名:)是人参的一种。原产于美国北部到加拿大南部一带,以威斯康辛州为主。美国旧称为花旗国,花旗参由此得名。此外,它又称为洋参、西洋参、野山泡参 、广东人参,为粉光参的