单子

✍ dations ◷ 2025-11-29 15:41:34 #计算机科学小作品,函数式编程

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

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

相关

  • 分子扩散分子扩散(英语:molecular diffusion),通常简称扩散,是任何粒子(气体或液体)于绝对零度以上之环境下的热力学运动。本行为的速率是温度、流体黏度以及粒子大小(质量)的函数。扩散解释
  • 南极洲/南极地方南极洲(英语:Antarctica)是地球最南端的洲,位于南半球的南极区,是地理南极的所在地。南极洲大部分区域都在南极圈内,四周被南冰洋环绕。南极洲是世界上的第五大洲,其面积约为1400万
  • 最终宿主宿主(英语:Host),也称为寄主,是指为寄生物包括寄生虫、病毒等提供生存环境的生物。最终宿主(primary host或definitive host)是指寄生物的成虫赖以寄生的物种。这类宿主通常为寄生
  • 路德维希·法捷耶夫路德维希·德米特里耶维奇·法捷耶夫(俄语:Людвиг Дмитриевич Фаддеев,1934年3月23日-2017年2月26日),前苏联、俄国理论物理学家和数学家。他最著名的成果
  • 深坑区坐标:25°00′08″N 121°36′56″E / 25.0023290°N 121.6156700°E / 25.0023290; 121.6156700深坑区是台湾新北市辖下的市辖区,古称簪缨、深坑仔(闽南语: Tshim-khinn-á)。位
  • 大公大公爵是欧洲爵位的一种,来源可追溯至古罗马时期,对为罗马帝国效力,而非罗马血统的外族如日耳曼族军队的首领的称谓。在后来被引申为非王族血统,却拥有实权,对王国举足轻重的人。
  • 卡纳维拉尔角坐标:28°27′20″N 80°31′40″W / 28.45556°N 80.52778°W / 28.45556; -80.52778卡纳维拉尔角(英语:Cape Canaveral),1963年—1973年曾称肯尼迪角(英语:Cape Kennedy),是位于美
  • 军事联盟萨长同盟,全称萨摩长州同盟,也被称作萨长盟约、萨长联合,是日本江户时代后期(幕末)的庆应2年阴历1月21日(1866年3月7日),在萨摩藩(约为今 鹿儿岛县全境及宫崎县西南部)与长州藩(约为今
  • 聊城聊城市,简称聊,古称东昌府,是中华人民共和国山东省下辖的地级市,位于山东省西部。市境东北与德州市相邻,东南接济南、泰安两市,西南与河南省濮阳市相连,西及西北分别与河北省邯郸市
  • 运动功能减退症运动功能减退症是指一种身体运动能力下降的病症。这种病往往与其他疾病相关连,例如:基底节疾病(如帕金森氏症)、心理健康失调和因疾病而长期不作任何活动所致。运动功能减退症包