单子

✍ dations ◷ 2025-11-26 02:38:20 #计算机科学小作品,函数式编程

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

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

相关

  • 右美沙芬右美沙芬(Dextromethorphan),又名右甲吗喃,英文简称DM或DXM,是一种镇咳药物,它的氢溴酸盐(Dextromethorphan hydrobromide)常用于药品中。在部分国家常被物质滥用。美国食品及药物管
  • 阿扎尔自治共和国阿扎尔自治共和国(格鲁吉亚语:აჭარის ავტონომიური რესპუბლიკა საქართველო,拉丁字母转译为:Atscharis Awtonomiuri Respublika Sakartwelo
  • 17-羟孕酮17α-羟孕酮(英语:17α-Hydroxyprogesterone,17α-OHP),有时就简称为羟孕酮(英语:hydroxyprogesterone,OHP)是一种孕酮类似的内源性的孕激素类甾体激素,同时也是很多内源性甾体激素生
  • 核四龙门核能发电站是位于台湾新北市贡寮区的核能发电站,因所在地名“龙门”而得名,由台湾电力公司兴建营运,为台湾第四座核能发电站,故原名第四核能发电站,2009年3月3日改为现名,其原
  • 王政复古王政复古是日本江户时代末期,1868年1月3日(庆应3年12月9日),宣告江户幕府废止、明治新政府成立的政变。在此之前,王政复古也是长州、萨摩等藩讨幕派的理念。江户时代末期,黑船来航
  • 2016第三十一届夏季奥林匹克运动会(英语:the Games of the XXXI Olympiad,法语:les Jeux de la XXXIe Olympiade,葡萄牙语:os Jogos da XXXI Olimpíada),又称为2016年里约热内卢奥运会,
  • 严翔严翔(1929年-),中国影视、话剧演员,毕业于上海戏剧专科学校。曾凭借电视剧《上海的早晨》获得飞天奖和金鹰奖最佳男主角。妻子是上海儿艺演员徐帼莲,女儿是演员严晓频。
  • 东米沙鄢区东米沙鄢(Eastern Visayas)是菲律宾的政区中,与其他政区没有土地边界的二个政区之一,另一个是民马罗巴。本政区被指定为第8政区(Region VIII),是由6个省份所组成:比利兰省 (Biliran)
  • 金融工程金融工程(Financial Engineering)是用数学和工程学的方法建立金融模型(英语:Financial modeling)(如描述股价浮动的随机微分方程),侧重于衍生金融产品的定价和实际作用,它最关心的是
  • 铅笔裙铅笔裙是一种直且窄的紧身裙。一般下摆会削减,长度及膝或过膝,其命名如同其形状—细长的像铅笔一样。铅笔裙通常可单穿或作为西装的一部分。其细长且窄的形状,会限制穿著者的活