单子

✍ dations ◷ 2025-04-04 23:55:34 #计算机科学小作品,函数式编程

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

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

相关

  • 孢子丝菌病孢子丝菌病是一种因为受到申克氏孢子丝菌(Sporothrix schenckii)感染,引起皮肤产生病变,也可能发生在肺、关节、骨骼,甚至脑,但是较为罕见。申克氏胞子丝菌存在于土壤中,干草堆、
  • 二重证据法1925年,由王国维提倡,“吾辈生于今日,幸于纸上之材料外,更得地下之新材料。由此种材料,我辈固得据以补正纸上之材料,亦得证明古书之某部分全为实录,即百家不雅训之言亦不无表示一面
  • 亚的斯亚贝巴亚的斯亚贝巴(阿姆哈拉语:አዲስ አበባ,转写:Addis Abäba,IPA: .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans
  • 五南文化广场五南图书出版股份有限公司(英语:Wu-Nan Book Inc.,简称五南图书公司),是台湾的出版社,主要出版各学门教科书和工具书。五南图书出版公司始于由杨荣川于1966年在苗栗县通霄镇五南里
  • 应用气象学应用气象学(英语:applied meteorology),是指研究有关专业与气象条件的相互关系及气象学应用于有关专业所形成的各专业气象学的统称。该学科将气象数据、分析、预测技术应用到实
  • 防卫厅防卫省是日本国防事务的最高主管机关,主要负责掌管自卫队。前身为1950年成立的警察预备队本部,经过多次改制后,于2007年1月9日升格为省。最高首长为防卫大臣,由首相任命。防卫省
  • 燕罗街道燕罗街道是中华人民共和国广东省深圳市宝安区下辖的一个街道办事处,名称取自辖区内的旧水塘——“燕罗塘”。辖区总面积27.15平方公里,下辖山门、洪桥头、燕川、罗田、塘下涌
  • 俄克拉荷马狭地奥克拉荷马狭地(Oklahoma Panhandle,Neutral Strip)位于奥克拉荷马西北部,以37°N、103°W、36.5°N、100°W为边界,长267公里,宽55公里。奥克拉荷马狭地曾为西班牙帝国的一部分,在
  • 南高加索语系南高加索语系又称卡特维尔语系(格鲁吉亚语:ქართველური ენები),世界上主要语系之一,属于高加索诸语言。语言人口约520万,主要分布于格鲁吉亚,也有少量分布在土耳其、
  • 《豹》(意大利语:)是一套1963年的意大利剧情片,由卢切诺·维斯康堤执导,毕·兰卡士打、阿伦·狄龙及歌迪雅·卡蒂娜莉等主演。电影改编自朱塞佩·托马西·迪·兰佩杜萨的同名小说