单子

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

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

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

相关

  • 免疫增生性紊乱免疫增生性紊乱,是一种免疫系统疾病,其特征是免疫系统原代细胞异常增殖,包括B细胞、T细胞和自然杀伤细胞,或过量产生免疫球蛋白(即抗体)。幼淋巴细胞(幼T淋巴细胞白血病)
  • 原发性高血压原发性高血压(英语:Essential hypertension或Primary hypertension)又称特发性高血压(英语:Idiopathic hypertension)是指一种不具有可识别的原因的高血压形式。它是最常见的高血
  • 代数代数是一个较为基础的数学分支。它的研究对象有许多。诸如数、数量、代数式、关系、方程理论、代数结构等等都是代数学的研究对象。初等代数一般在中学时讲授,介绍代数的基本
  • 因果关系 (法律)客体 · 行为(作为 · 不作为) 危害结果 · 因果关系 · 犯罪主体 主观要件(故意 · 过失) 未遂 · 既遂 · 中止 · 预备阻却违法事由 正当防卫 · 紧急避难心神丧失
  • 黑色星期一2020年黑色星期一是指由于2019冠状病毒病疫情及2020年俄罗斯–沙特阿拉伯石油价格战等因素,造成的两次发生于星期一的股市崩盘:
  • 1186年重要事件及趋势重要人物
  • 食胎盘行为食胎盘行为(英语:Placentophagy)是一种哺乳动物在自己的幼仔出生后吃掉胎盘的行为。食胎盘行为在包括食草动物在内的有胎盘类动物中是一个普遍现象。其中仅有少量物种没有这种
  • 黄倩萍黄倩萍(1968年8月2日-),是台湾新闻主播之一,现任三立新闻台主播、《前进新台湾》代班主持人。曾任中天新闻台主播、三立新闻台《54新观点》主持人,其外语能力相当不错,并成功考取外
  • 卡莱尔约翰·格里芬·卡莱尔(John Griffin Carlisle,1834年9月5日-1910年7月31日),著名的美国政治家、美国民主党重要人物之一。1883年至1889年,他担任美国众议院议长;1893年至1897年,担任
  • 土耳其军队土耳其军队 (土耳其语:Türk Silahlı Kuvvetleri或TSK),是土耳其共和国的军事部队。包括陆军、海军(包括海军航空兵和海军步兵)和空军。 宪兵和海岸巡防队平时受内务部指挥,但战时