单子

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

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

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

相关

  • 黑心药品黑心药品即假药和劣药。假药通常指药品所含成分与销售地和生产地药品标准规定的成分不同的药物以及以非药品冒充药品或以一种药品冒充另一种药品;劣药通常指药品成分含量不达
  • 克氏综合症克氏综合征(Klinefelter's syndrome)或称XXY、47XXY综合征、俗称次雄性综合征,是一系列由于男性有两条或两条以上的X染色体所导致的疾病。该疾病的主要特征是不孕。通常症状都
  • 逸散层散逸层(英语:Exosphere),亦称外气层,是地球大气层的最外层,位于热层的上方,其顶界可被视作整个大气层的上界。散逸层大气的温度极高,因此空气粒子运动很快。又因其离地心较远,受地球
  • 连环杀手连环杀手,又称连续杀人犯,是一个或多个杀手把受害者一个又一个地杀害,多数是谋杀。在现代城市中,也可能是精神疾病发作,或对目标人性物化,爱操纵目标人物的生命,视目标人物如蝼蚁,可
  • 沃尔庇杯沃尔皮杯 (意大利语:Coppa Volpi)是威尼斯电影节颁发的两个正式奖项,用以表彰正式竞赛单元中杰出的演员,分别授予最佳男演员奖与最佳女演员奖。本奖项以威尼斯电影节创办人朱塞
  • 韦斯咸西汉姆足球俱乐部(英语:West Ham United Football Club),英格兰传统足球俱乐部,位于东伦敦纽汉区,成立于1895年,初时名为“泰晤士铁厂”(Thames Ironworks FC),于1900年才更改今名。球
  • 十条诫令“十条诫令”(或称:十条戒令,十大戒令),狭义上是指一则在中国大陆出现的谣言,其最早在1940年代的美国出现。该谣言是在世界各地有不同作者、版本的都会传奇。该谣言在全世界不同国
  • 宋业明宋业明(1954年-),山东荣成人,毕业于北京电影学院,中国大陆导演、编剧。1954年,宋业明出生在山东省荣成市。1973年高中毕业后,他参加三轮面试被中国人民解放军录取,在山东省青岛市体训
  • 上诺曼底上诺曼底(法语:Haute-Normandie)是法国西北部一个大区的名称,北邻英吉利海峡。面积12,318平方公里,人口1,780,192。下辖厄尔省 (27)、滨海塞纳省 (76)。
  • 苏铁目苏铁目(学名:Cycadales)统称苏铁,是苏铁纲(Cycadopsida)中一个唯一目,也是苏铁门植物唯一现存的群类,共有3科,10至12属约305种,分布在全球的热带和亚热带地区。本科植物为常绿乔木或灌