单子

✍ dations ◷ 2025-11-25 12:53:00 #计算机科学小作品,函数式编程

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

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

相关

  • 象皮病象皮病(又称淋巴丝虫病,拉丁语:elephantiasis, lymphatic filariasis),是由丝虫总科(英语:Filarioidea)的寄生虫引起的疾病。许多罹患此病的病患并无症状,然而有些个案却出现手臂、脚
  • 取代基取代基是取代的无机或有机化合物中氢原子的基团,取代发生后,会形成新的化合物。不同的取代基会导致不同的效应,如诱导效应、共振效应、电子效应及立体效应等,从而使不同的化合物
  • 胸椎胸椎是脊椎的一部分,位于颈椎和腰椎之间。人类有12块胸椎,大小介于颈椎和腰椎之间,从上至下逐渐增大。Template:Spinal nerves(英语:Template:Spinal nerves) Template:Bones of t
  • 羟胺羟胺——又称羟基胺——可看作NH3中的一个H被OH取代而形成的衍生物,其分子式为NH2OH。室温下为不稳定的白色晶体,容易潮解, 常以水溶液的形式使用。1999年来,两家生产羟胺的工厂
  • 让-弗朗索瓦·利奥塔让-弗朗索瓦·利奥塔(法语:Jean-François Lyotard,1924-1998)是法国哲学家、社会学家和文学理论家。他的跨学科著述涵盖了认识论和传播学、人体、现代艺术和后现代艺术、文学和
  • 中国园林中国园林,是中国建筑的特色之一。广义上,园林意指在人工建筑出来的环境中模拟自然景物,范围相当广,小至盆栽的植种,大至池水与假山的布景。中国园林的重点则在于造景的巧妙,如何模
  • 新科学家(2011年)《新科学人》(也作《新科学家》)(英语:New Scientist),由汤姆·玛格里森,麦克斯·瑞珍与尼古拉斯·哈里森创刊于1956年,由里德商业资讯出版发行的国际性科学杂志。每周发刊
  • 锡利斯特拉锡利斯特拉(保加利亚语:Силистра)是位于保加利亚东北部多布罗加的一个港口城市。靠近罗马尼亚边境。锡利斯特拉是锡利斯特拉州的首府所在地。也是南多布罗加的一个重要
  • 桑植县桑植县位于中国湖南省西北部,是张家界市下辖的一个县。国内生产总值329,043万元(2009年)。面积3465平方千米,人口456,958人(2009年)。该县主要资源为天然气、铁矿、煤炭、硅石和水
  • 丹尼尔·奥柏丹尼尔·弗朗索瓦·埃斯普雷特·奥柏(法语:Daniel François Esprit Auber,1782年1月29日-1871年5月13日),法国作曲家,他早年在伦敦商界当小职员,1804年回国,致力于音乐创作,曾任巴黎