单子

✍ dations ◷ 2025-12-09 19:56:22 #计算机科学小作品,函数式编程

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

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

相关

  • 共价半径共价半径定义为由共价键结合的两个原子核之间距离的一半,单位通常使用皮米(pm)或埃(Å)。He、Ne、Ar等原子无共价半径数据,因至今未合成其任何共价化合物。同周期元素的单键共
  • 穆罕默德·阿里治下穆罕默德·阿里王朝(阿拉伯语:أسرة محمد علي Usrat Muhammad 'Ali)是十九世纪至二十世纪埃及和苏丹的统治王朝,以其创立者穆罕默德·阿里为名,穆罕默德·阿里被视为现
  • 开源软件开源软件(英语:open source software,缩写:OSS)又称开放源代码软件,是一种源代码可以任意获取的计算机软件,这种软件的著作权持有人在软件协议的规定之下保留一部分权利并允许用户
  • 类人型机器人类人型机器人(Humanoid robot),是机器人(Robot)的一种,具有类似于人类外型的特征,例如有头部、躯干跟手脚,但不一定有头发、五官、牙齿、人造皮肤之类的细微特征。另一种完整呈现人
  • 数字电视数字电视(英语:Digital television)是指采编、播出、传输、接收等环节中全面采用数字信号的电视系统,与模拟电视相对。数字电视系统可以发送多种业务,如高清电视、标清电视、智能
  • 交叉感染交叉感染是指因为没有采取足够的防护措施而令传染病散播,常发生于医院及厨房之内。例子包括在医院内的隔离制度执行得不够严谨,以及在厨房内将已煮熟及未煮熟的食物置于同一地
  • 都会东区都会东区 (Metro-East)是美国密苏里州圣路易东部郊区,覆盖了伊利诺伊州五个县:麦迪逊县、圣克莱尔县、门罗县、泽西县和克林顿县。面积6,974平方公里,根据美国2000年人口普查人口
  • 水星-宇宙神7号水星-宇宙神7号是美国国家航空航天局进行的水星计划中的一次载人任务,于1962年5月24日在卡纳维拉尔空军基地发射。航天器被命名为曙光7号,三次进入地球轨道,宇航员为斯科特·卡
  • 苏联民航3352号班机空难苏联民航3352号班机是一班由苏联克拉斯诺达尔飞往新西伯利亚,中停鄂木斯克的国内航班。1984年10月11日,一架编号为CCCP-85243的图-154客机执行由克拉斯诺达尔至鄂木斯克航段时
  • 帕劳华人帕劳华人,自19世纪以来,一直在帕劳定居。早期的移民由商人和劳工组成,经常与帕劳妇女通婚。他们的后代迅速被当地民众同化,一般认为自己是帕劳人。近年来,在帕劳1999年与台湾建立