单子

✍ dations ◷ 2025-11-12 17:22:23 #计算机科学小作品,函数式编程

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

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

相关

  • 草津温泉草津温泉(日语:草津温泉/くさつおんせん),位于日本群马县吾妻郡草津町的温泉名胜地。其起源已有千年之久。草津温泉的pH值在1.7至2.1,是强酸性硫黄泉,具有医疗功效。林罗山的日本三
  • 足球超级联赛俄罗斯足球超级联赛(Чемпионат России по футболу),是俄罗斯足协协会组织的职业足球联赛,通常简称“俄超”。它是1991年苏联解体之后成立的顶级足球联
  • 理查德·多尔威廉·理查德·沙博·多尔爵士,CH, OBE, FRS(英语:Sir William Richard Shaboe Doll,1912年10月28日-2005年7月24日),英国科学家及流行病学家,与另一科学家奥斯汀·布拉德福德·希
  • 政变政变(法语:coup d'État, audio 帮助·信息,亦音译为“苦跌打”、“苦迭打”),是指一个国家之中有一部分人通过密谋策划,采取军事叛乱或政治行动,夺取国家政权的行为。如果能成功完
  • 磷酸基磷酸(英语:phosphoric acid)或称为正磷酸(orthophosphoric acid),化学式H3PO4,是一种常见的无机酸,不易挥发,不易分解,几乎没有氧化性。具有酸的通性,是三元弱酸,其酸性比盐酸、硫酸、硝
  • 夜鹰夜鹰目(学名:Caprimulgiformes)在动物分类学上是鸟纲中的一个目。这一目的鸟分布广泛,除了南极洲外各大洲都有分布。夜鹰目的学名 Caprimulgiformes 来自夜鹰属的属名 Caprimulg
  • 股间性爱股交(英语:intercrural sex或femoral/interfemoral sex),是非插入式性行为之一,男性将他的阴茎放置在他伴侣的大腿内侧之间,彼此胯部进行推移以磨蹭之。海特(Shere Hite)曾在1976年
  • 盐湖县盐湖县(Salt Lake County, Utah)是美国犹他州西北部的一个县。面积2,092平方公里。根据美国2000年人口普查,共有人口898,387人 (2005年估计为948,172)。本县一共设有15个市与一
  • 拉赫曼大学学院拉曼大学学院(英语:Tunku Abdul Rahman University College;马来语:Kolej Universiti Tunku Abdul Rahman),升格前旧称拉曼学院 (英语:Tunku Abdul Rahman College;马来语:Kolej Tunku
  • 2019冠状病毒病安徽省疫情2019冠状病毒病安徽省疫情,介绍2019冠状病毒病疫情中,在中华人民共和国安徽省发生的情况。2020年1月21日,安徽省发现首例新冠肺炎患者。到3月8日,安徽省本地确诊数量清零,直至4月