单子

✍ dations ◷ 2025-12-01 03:27:58 #计算机科学小作品,函数式编程

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

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

相关

  • 急性淋巴细胞性白血病急性淋巴性白血病(英语:Acute lymphoblastic leukemia,ALL),是因为体内淋巴细胞不正常增生造成的血液疾病。淋巴是人体免疫系统的重要环节,由骨髓与淋巴结所制造。而急性淋巴性白
  • 合弓纲合弓纲(Synapsida)意为“固定的颧弓”,也被称成兽形纲(Theropsida),是羊膜动物的一纲,包含羊膜动物中所有与哺乳类关系较近的物种。合弓纲是羊膜动物的两个主要演化支之一,另一个演
  • Robert Burns Woodward罗伯特·伯恩斯·伍德沃德(英语:Robert Burns Woodward,1917年4月10日-1979年7月8日),美国有机化学家,对现代有机合成做出了相当大的贡献,尤其是在化学合成和具有复杂结构的天然有机
  • 天气图天气图(英语:weather chart)是将特定地区某段时间的气象要素表现在地图上,能够帮助阅读者掌握天气状况。天气图的创始者包括威廉·瑞德菲尔(William Redfield)、威廉·瑞德(William
  • 切诊切诊,包括脉诊和按诊两部分,是医生运用双手对病人的一定部位进行触、摸、按压,从而了解疾病情况的方法。脉诊是按脉搏;按诊是对病人的肌肤、手足、脘腹及其病变部位的触摸按压,以
  • 虚骨龙类虚骨龙类(学名:Coelurosauria)又名空尾龙类,是群多样性的兽脚亚目恐龙,包含许多次演化支,例如:暴龙超科、似鸟龙下目、以及手盗龙类(也包含鸟类)。虚骨龙类的范围为:兽脚亚目中,所有亲
  • 刘之冰刘之冰(1963年3月30日-),黑龙江萝北,中国大陆男演员,刘之冰生于黑龙江省鹤岗市萝北县凤翔镇,1979年毕业于黑龙江省艺校,1982年2月调入长春电影制片厂演员剧团任演员,2008年3月通过特
  • 特拉法加33艘战舰 (27艘风帆战列舰和6艘其他战舰)41艘战舰 (法国:18艘风帆战列舰和8艘其他战舰 西班牙:15艘风帆战列舰)458人阵亡1,208人受伤法国:10艘战舰被俘获、1艘战舰被毁、2,218人
  • 治理治理或管治(Governance)一词意思跟“统辖”、“管辖”、“统治”略近。在政治学领域,通常指国家治理,即政府如何运用治权,来管理国家、人民和领土,以达到延续国祚和让国家发展的目
  • 无强无彊(?-前306年)为战国时期越国的君主,句践六世孙,《史记索隐》称为无颛之弟。无颛死后继承为君主,前342年至前306年在位37年。楚国攻越,无彊战败自杀殉国,越国灭亡。周 → 秦 | 吴 |