单子

✍ dations ◷ 2025-09-11 10:28:16 #计算机科学小作品,函数式编程

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

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

相关

  • MCHC平均细胞血红蛋白浓度(mean corpuscular hemoglobin concentration、MCHC)是测量定量血红细胞中的血红蛋白浓度。它是血常规检测中的一项。 该指标的成年人正常范围大约在320-
  • 巴尔奇克巴尔奇克 (保加利亚语:Балчик)是位于保加利亚东北部的城市。地处多布里奇州,黑海沿岸。巴尔奇克是海滨度假胜地。位于瓦尔纳东北42公里处。市区建在黑海沿岸的多布罗加台
  • 春运国务院中央军委测绘机构春运,即“春节期间的交通运输”的简称,是中国大陆在农历春节前后发生的一种大规模的高交通运输压力及堵塞的现象,一般发生在春节节前15天及节后25天左右
  • 扬马延扬马延(挪威语:Jan Mayen)是一个位于北冰洋的火山岛屿,是挪威的领土。岛长约55 km(34 mi),面积约 377 km2(146 sq mi) ,贝伦火山附近约114.2 km(71.0 mi)被冰川所覆盖,约占岛上约1
  • 荷兰省份荷兰本土分为12个省(provincie),另外在加勒比海有博奈尔、圣尤斯特歇斯、萨巴三个直属荷兰的公共实体(荷兰语:Openbaar lichaam)共同构成荷兰王国。
  • span class=nowrapNaHSOsub4/sub/span硫酸氢钠(化学式:NaHSO4),也称酸式硫酸钠,硝石饼(niter cake) 。它的无水物有吸湿性。硫酸氢钠在达到其熔点前即分解为焦硫酸钠,故其熔点很难测定。硫酸氢钠的水溶液显酸性,1mol/L溶
  • 刺猬炮刺猬炮,也叫刺猬弹(英语:Hedgehog)是第二次世界大战时加拿大人Charles F. Goodeve带领英国皇家海军的杂项武器发展指导部(Department of Miscellaneous Weapons Development)发明
  • 马特·巴恩斯马特·凯利·巴恩斯(英语:Matt Kelly Barnes,1980年3月9日-),美国NBA联盟职业篮球运动员。他在2002年的NBA选秀中第2轮第17顺位被孟菲斯灰熊选中。2016-17赛季随着金州勇士夺冠而
  • 弗拉基米尔·科马洛夫弗拉基米尔·米哈伊洛维奇·科马罗夫(俄语:Владимир Михайлович Комаров,1927年3月16日-1967年4月24日)是一名前苏联宇航员。他是史上第一位因载人航天
  • 四轮驱动四轮驱动(英语:4WD, 4-Wheel Drive),又称四轮传动,是指汽车所输出的扭矩传递到所有四个车轮上的设计。很多人看到四轮驱动就会联想到越野车和SUV,但实际上四轮驱动也被广泛应用于