单子

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

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

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

相关

  • 反铁磁态反铁磁性(英语:antiferromagnetism),或称反强磁性,是磁性材料的磁学性质的一种。在这种材料中,相邻电子自旋呈相反方向排列,其磁化率因而接近于零。1932年由Louis Néel首次发现。
  • 尼达尼布尼达尼布(英语:Nintedanib)为一种新一代治疗癌病及特发性肺纤维化的口服药物,是一种三重血管激酶抑制剂,可同时针对抑制三个导致血管更生与肿瘤增长的主要受体,包括血管内皮生长因
  • 国际财经时报《国际财经时报》(英语:International Business Times,通常被称为IBTimes或者IBT)是全球性在线金融报纸。目前,IBTimes拥有十三个国家版本并以七种语言发行,宗旨是通过不断扩大的
  • 1952年1952年被中华人民共和国处决的死刑犯列表,旨在列出1952年被中华人民共和国处决的死刑犯。
  • 捻乱捻军(1853年-1868年),清朝官方称之为捻匪或捻贼,也称捻乱,是活跃在长江以北安徽北部及江苏、山东、河南三省部分地区的反清农民军,兴起后一度响应同时期的太平军。捻军重要人物为沃
  • 博奈尔面积以下资讯是以2015年估计家用电源国家领袖立国历史博奈尔(荷兰语:Bonaire)是加勒比海中一岛屿,现为荷兰的公共实体(英语:Public body (Netherlands)),与附近的荷兰王国构成国阿鲁
  • 武陵郡武陵郡,中国西汉时设置的郡,在今湖南省、湖北省、贵州省、重庆市和广西壮族自治区境。汉高帝五年(前202年),改黔中郡置武陵郡,治所在索县(今湖南省常德市东断港头乡城址村,一说治义
  • 格罗·哈莱姆·布伦特兰格罗·哈莱姆·布伦特兰(挪威语:Gro Harlem Brundtland, 读音 帮助·信息,1939年4月20日-),挪威政治家、外交家、医生,曾任挪威首相及世界卫生组织总干事。她被视为国际上的可持续
  • 中国国家铁路集团中国国家铁路集团有限公司(英语:China State Railway Group Co., Ltd.),简称中国铁路(英语:China Railway),亦简称国铁集团,是承担中华人民共和国铁路客货运输服务的中央管理国有企业
  • 诺曼·戴维斯诺曼·戴维斯(英语:Ivor Norman Richard Davies 1939年7月8日-)波兰-英国历史学家,作品主要涉及欧洲、波兰和英国历史,是雅盖隆大学联合国教科文组织教授,关注中东欧历史。伦敦大