单子

✍ dations ◷ 2025-12-11 05:20:29 #计算机科学小作品,函数式编程

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

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

相关

  • 闭塞性细支气管炎闭塞性细支气管炎(英语:Obliterative bronchiolitis (OB),缩写为OB;constrictive bronchiolitis;popcorn lung),是因为发炎造成肺部细支气管阻塞的疾病。症状包括干咳、呼吸急促、
  • 布宜诺斯艾利斯大学布宜诺斯艾利斯大学(西班牙语:Universidad de Buenos Aires,UBA)是阿根廷最大的大学,创立于1821年8月12日。它由13个院系、六家医院、10个博物馆和3所中学组成。下列学院组成的大
  • 生态赤字生态赤字是用以描述一个地方的资源消耗及制造垃圾的程度超出当地可持续的自然生态产出能力及纳污能力。生态赤字亦被用于表达生产某个群落(例如一个城市)所耗用的资源所需的土
  • 中法新约《中法新约》(法语:Traité de Tianjin),全称为《中法会订越南条约十款》(法语:Traité de Paix, d'amitié et de commerce entre la Chine et la France),是清朝政府和法国为结束
  • 许志琴许志琴(1941年8月14日-),原籍重庆,生于上海,中国构造地质学家,中国地质科学院地质研究所研究员、“973”基础研究项目和国家自然科学基金重大项目首席科学家。曾任中国地质科学院副
  • 六一九炮战六一九炮战,又称六一七炮战,发生于1960年6月间,时任美国总统艾森豪威尔访问中华民国,中华人民共和国方面为表示抗议,以“欢迎”和“相送”为名,在6月17日下午对金门地区各岛屿全面
  • 顶囊蕨见内文顶囊蕨(学名:Cooksonia),又名库氏裸蕨、库克逊蕨、光蕨,是一属已灭绝的原始陆生有胚植物,也是最早期的有胚植物之一,最早出现在古生代志留纪。其残体的化石常被发现于浅海或
  • 莱州湾莱州湾,是中国渤海南部的一个海湾,西起东营市黄河河口,东至龙口市屺山母岛高角,环海湾海岸线长319公里,总面积9530平方公里。莱州湾沿岸重要港口有莱州、滨州、潍坊、东营和龙口
  • 临朝称制临朝称制是指古代中国、日本等东亚国家在君主制时代由皇后、皇太后或太皇太后等女性统治者代理皇帝(朝鲜、越南、琉球等国称国王,日本称天皇)执掌国政。如果男性代理国政称摄政
  • 山的土地,河的土地《山的土地,河的土地》(德语:Land der Berge, Land am Strome),是奥地利的国歌。国歌的曲调是沃尔夫冈·莫扎特去世前十九日,即1791年12月5日所作的《共济会清唱剧》 (作品编号KV 6