单子

✍ dations ◷ 2025-08-21 15:11:22 #计算机科学小作品,函数式编程

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

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

相关

  • 中法兰克王国中法兰克王国(拉丁语:Francia media)为欧洲中世纪的一个国家。814年,查理曼去世,法兰克帝国随之分裂。843年,查理曼的三个孙子订立《凡尔登条约》,遵照查理在806年就已经规定了他死
  • 高离氨酸血症高离氨酸血症是一种遗传病,其会导致发展迟缓、癫痫、脑麻痹、身材短小等。亦有可能有关节松弛、智能迟缓、周期性呕吐、肌肉张力低下、昏睡、腹泻以及发展迟缓等。此遗传病的
  • 破伤风预防注射剂破伤风(英语:Tetanus/Lockjaw),俗称四六风、脐带风、七日风,因为在婴儿出生后4至6天,少数早至2天或迟至14天以上发病。当破损的皮肤或粘膜被感染,或新生儿由于切断脐带时被感染,破伤
  • 科陶德艺术学院伦敦大学科陶德艺术学院(英语:The Courtauld Institute of Art,英国 /ˈkɔərtoʊld/,常称:The Courtauld)是伦敦大学下的一个学院,主要研究艺术史。成立于1932年,其名是为了纪念工
  • 莫拉司亭莫拉司亭(molgramostim),是一种重组粒细胞-巨噬细胞集落刺激因子,作免疫兴奋药(英语:immunostimulator)之用,亦常与白细胞介素-2 、13-顺式维A酸等合用于治疗神经母细胞瘤高风险儿童
  • 柳百新柳百新(1935年6月10日-),中国材料科学家。生于上海,原籍江苏武进。1961年毕业于清华大学工程物理系。清华大学材料科学与工程系教授。2001年当选为中国科学院院士。
  • 可宁卫可宁卫股份有限公司(Cleanaway Company Limited),通称可宁卫或可宁卫集团。是位在南台湾高雄市的一绿色环保企业,经营一般废弃物、一般事业废弃物以及有害事业废弃物等一站式清
  • 李日华明人绘《李日华像》,南京博物院藏李日华(1565年-1635年),字君实,一字九疑,号竹懒、痴居士,浙江嘉兴人。晚明官员,书画家、鉴赏家。李日华生于明世宗嘉靖四十四年(1565年),幼时聪敏,其父“
  • 韩欧自由贸易协定‎《韩欧自由贸易协定》是韩国与欧盟签订的自由贸易协定。双方自2007年5月开始谈判,2009年10月15日签署了协议。 2011年2月17日,欧盟议会以465票赞成、128票反对、19票弃权通过
  • 佐治亚佐治亚州(英语:State of Georgia),是美国东南方的一个州,邮政简写是GA。该州也是美国独立时期13州的成员之一。首府为亚特兰大。在13州中排名第4,1778年1月2日加入独立战争。2000