单子

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

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

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

相关

  • 柠檬酸柠檬酸,化学式为 C6H8O7,(英语:Citric Acid,亦称为枸橼酸)它包括3个羧基(R-COOH)基团。是一种中强度有机酸,这是自然在柑橘类水果中产生的一种天然防腐剂,也是食物和饮料中的酸味添加
  • 螯合物螯合物(英语:Chelation)是配合物的一种,在螯合物的结构中,一定有一个或多个多齿配体提供多对电子与中心体形成配位键。“螯”指螃蟹的大钳,此名称比喻多齿配体像螃蟹一样用两只大
  • 普瑞德威利症候群普瑞德威利综合征(俗称小胖威利症,英文名Prader-Willi syndrome,PWS)是一种肇因于特定基因功能丧失的遗传性疾病 。新生儿患者会出现包括肌肉无力(英语:Hypotonia)、进食不良及发育
  • 真爬行动物真爬行动物(学名:Eureptilia)是蜥形纲的两个主要演化支之一,另一个是副爬行动物(或称无孔亚纲)。真爬行动物包括所有双孔亚纲,还有许多石炭纪与二叠纪的原始爬行类(原先被分类在无孔
  • 明日的记忆《明日记忆》(日语:明日の記憶,英语:Memories of Tomorrow),是一部由荻原浩所写的小说。之后由堤幸彦执导、渡边谦监制改编成电影,同时渡边谦也在戏中担任男主角。此剧获得日本电影
  • 1408年重要事件及趋势重要人物
  • 胖子查理查理三世(德语:Karl III der Dicke)或称胖子查理(法语:Charles le Gros;839年6月13日-888年1月13日)是加洛林王朝的东法兰克国王(876年起),西法兰克国王(884年起)和神圣罗马皇帝(称查理三
  • 深海钻探计划深海钻探计划(Deep Sea Drilling Program,DSDP)是1968年至1983年期间实施的一项海洋钻探计划,其目的是在世界大洋打大量不太深的钻井,采集沉积岩心,取得洋底地壳上层的资料。1964
  • 无支配体制无支配体制(英语:Anocracy),又译为无支配统治、无体制政体,政治学术语,一种政体形态。在这种政体下,政权不是由政治组织控制,而是分散在数个不同的精英群体中,这些群体彼此竞逐权力。
  • 博尔扎诺博尔扎诺(意大利语:Bolzano,,德语:Bozen,博岑,,当地方言:,拉登语:Bulsan,,拉丁语:Bauzanum)是意大利北部上阿迪杰的省会,靠近奥地利边境及威尼斯西北偏北。波尔扎诺自治省的省政府和省议会位