单子

✍ dations ◷ 2025-11-25 05:24:40 #计算机科学小作品,函数式编程

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

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

相关

  • 酵素工程学酶工程(英语:Enzyme engineering)又可以说是蛋白质工程学,利用传统突变技术或是分子生物学技术,将蛋白质上的氨基酸进行突变,已改变蛋白质之化学性质和功能。例如:在酵素的应用上,
  • 澳大利亚财政部澳大利亚财政部长(英语:Treasurer of Australia)是澳大利亚政府的内阁部长官职。财政部长主管政府支出和收入,对政府的经济政策起重要的作用。财政部长是澳大利亚财政部(英语:Depa
  • 天津2019冠状病毒病天津市疫情,介绍在2019冠状病毒病疫情中,在中华人民共和国天津市发生的情况。截至2020年3月24日,天津市累计报告新型冠状病毒肺炎确诊病例142例,其中死亡病例3例,
  • 非人非人(日语:非人/ひにん Hinin */?)是古代日本的一种社会阶级。非人,字面意思即“不是人”,与秽多同属于社会最底层的贱民,主要从事处刑、卖艺、乞讨等职业。与身份必须世代承袭的
  • 哈姆雷特《哈姆雷特》(英语:Hamlet)又名《王子复仇记》,是莎士比亚于1599年至1602年间的一部悲剧作品,是他最负盛名和被人引用最多的剧本。习惯上将本剧与《麦克白》、《李尔王》和《奥赛
  • 炭化干馏,又称碳化(英语:Carbonization)(其他的“碳化作用”是指钢筋混凝土失效形式的一种术语)、炭化(英语:Charring)、焦化(英语:Torrefaction),是指固体或有机物在隔绝空气条件下加热分解
  • 曹秀美曹秀美(조수미;曺秀美,1962年11月22日-),又译赵秀美,日本译做曹清美,是韩国的著名女高音歌唱家。出生于首尔。曾获得格莱美音乐奖。2014年9月19日晚,曹秀美演唱了第17届亚运会主题曲
  • 港安医院港安医院可以指:
  • 两栖作战舰艇本列表收录了美国海军旗下所有两栖作战舰艇,并依舰种用途分类。在列表中“状态”字段内的服役状况是指对美国海军而言的现役与否,如果特定舰只自美军除役后转移至其他单位或国
  • 阿勒格尼国家森林阿勒格尼国家森林(英语:Allegheny National Forest)是一处美国国家森林,地处宾夕法尼亚州西北部,森林面积513,175英亩(801.8平方英里;2,076.7平方千米)。林区内部有座金祖阿水坝,将阿