单子

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

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

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

相关

  • 关节关节(拉丁语:Articulatio)在解剖学里指的是两块或两块以上的骨之间能活动的连接。在解剖学上有不动关节、动关节(连接处有液体)和微动关节(Amphiarthrosis)三种。不动关节有:例如尺
  • 意属东非意属东非(意大利语:Africa Orientale Italiana)是法西斯意大利在东非的一个殖民地。于1936年到1941年期间存在。由阿比西尼亚(即埃塞俄比亚)、意属索马里兰和厄立特里亚三个区域
  • 骨髓增生异常综合症骨髓增生异常综合征(英语:Myelodysplastic syndromes,简称MDS)又译为骨髓发育不良综合征、骨髓生成不良综合征、骨髓化生不良综合征,为一种因骨髓中未成熟血球不正常增生导致的血
  • 灯芯绒灯芯绒,又称灯草绒、条绒、趟绒,为表面有纵向绒条的织物面料。因灯芯绒绒条类似灯草芯,因而得名。灯芯绒原料以棉为主,也有与涤纶、腈纶、氨纶等化纤混纺的。特点是质地厚实,手感
  • 李振裕李振裕(1641年-1707年),字维饶,号醒斋。清朝政治人物,江西吉水人,祖父李尚德。李元鼎之子,其母朱中楣为晚明宗室辅国中尉朱议汶次女。康熙九年(1670年)庚戌科进士,选庶吉士,散馆授检讨。
  • 阿道夫·比奥伊·卡萨雷斯阿道夫·比奥伊·卡萨雷斯(西班牙语:Adolfo Bioy Casares,1914年9月15日-1999年3月8日),阿根廷小说家、记者、翻译家,其作品构思缜密,注重对幻想世界的探索。影响最大的作品是《莫雷
  • 柯克兰柯克兰(英语:Kirkland;另译为科克兰)是位于美国华盛顿州金郡的城市,坐落于华盛顿湖东岸,为美国西岸大城西雅图的卫星都市。2010年美国人口普查时人口为48,787人,是金郡第9大城、以
  • 东莱东莱郡,中国古郡名。汉景帝时分胶东国而置,其地在今山东烟台、威海一带。东汉时治所为黄县(今山东省龙口市),属青州。曹魏时移治掖县(今山东省莱州市),刘宋移治曲城县。北魏时复治掖
  • 信托受益人信托受益人在英美法中,指为本身的利益而设立信托的人。私人信托的受益人应为可辨认的法律实体(自然人或法人)或一批人(如信托设立人的子女)。信托受益人必须是确定的,要新增信托受
  • 约翰二世 (法兰西)波希米亚的邦尼(英语:Bonne of Luxembourg)(1332年结婚) 约翰二世,或译让二世(法语:Jean II,1319年4月26日-1364年4月26日),别名好人约翰(法语:Jean le Bon ),法兰西王国瓦卢瓦王朝第二位国