单子

✍ dations ◷ 2025-12-05 10:35:21 #计算机科学小作品,函数式编程

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

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

相关

  • 绒毛取样术绒毛取样术(Chorionic Villus Sampling, CVS),又称绒毛膜取样术,绒毛活检,抽绒毛,是一种检测染色体异常和遗传性疾病的产前检查的方法。绒毛取样术通过抽取胎盘中的一些细胞样本,并
  • 六放海绵纲六放海绵纲(Hexactinellida)为多孔动物门的一个纲。该纲动物具有硅质骨针,有些骨针能聚合成网状的骨架。骨骼中无海绵质。本纲又称为玻璃海绵。六放海绵纲动物大多数生活在200~8
  • 观点主义观点主义(德语:Perspektivismus)由德国哲学家尼采提出。它指所有观念构成都由一种独特的认知观点形成,即个体关于存在的概念由该个体周围的环境定义,而那种观点是由“权力意志”
  • 网状细胞网状细胞(reticular cell)是一类能合成Ⅲ型胶原α1并以之形成网状纤维的成纤维细胞。该细胞围绕着网状纤维,使之与其它组织成分和细胞分离开来。网状细胞产生并维持纤维网络,可
  • NaNsub3/sub叠氮化钠,分子式NaN3,无色六角形晶体,易溶于水和液氨。微溶于乙醇,不溶于乙醚。常温下稳定,高温分解。在撞击下爆炸性分解:理论上每克叠氮化钠分解可以产生554毫升的氮气。用氨基
  • 引力场引力场(简体中文中重力场一词特指地球表面的引力场。)是描述一物体在空间中受到万有引力(重力)作用的场,在经典物理学中是一个物理量。所有有质量的物体皆会互相吸引。我们想像空
  • 外套腔外套膜(Mantle)是软体动物及腕足动物的重要部分,由其背侧的体壁向下褶与伸展形成,经常包裹整个内脏团;而内脏囊与外套膜之间的空腔即为外套膜腔或外套腔(Mantle cavity)。外套腔是
  • 克拉根福Neuer Platz 1 9020 Klagenfurt am Wörthersee韦尔特湖畔克拉根福(德语:Klagenfurt am Wörthersee、斯洛文尼亚语:Celovec ob Vrbskem jezeru)是奥地利克恩顿州的首府,坐落于
  • 中国人史纲《中国人史纲》是柏杨在绿岛监狱中书写的一部中国通史,从盘古开天写到八国联军,是柏杨的代表作品之一。全书较之其他中国史书,有明显的区别:该书以一世纪(一百年)为叙述单元;以公元
  • 八家将八家将是台湾民间信仰的阵头之一的简称,起源众说纷纭,一般说法是起源于五福大帝驾前专责捉邪驱鬼的将军,这几位将军不是阴间神祇,之后地藏王菩萨、城隍等职掌阴司神明庙宇也开始