单子

✍ dations ◷ 2025-12-03 05:14:32 #计算机科学小作品,函数式编程

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

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

相关

  • LDsub50/sub半数致死量(英语:Median Lethal Dose),简称LD50(即Lethal Dose, 50%),在毒理学中是描述有毒物质或辐射的毒性的常用指标。按照医学主题词表(MeSH)的定义,LD50是指“能杀死一半试验总体
  • 氢氧化钙氢氧化钙,化学式Ca(OH)2,俗称熟石灰或消石灰,是一种微溶于水之白色固体,其水溶液常称为石灰水(量大时,可形成石灰乳或石灰浆),强碱性。在空气中吸收二氧化碳和水等从而变质,通常称其
  • 国家宪兵干预队法国国家宪兵干预组(法语:Groupe d'intervention de la gendarmerie nationale,缩写:GIGN)隶属于法国国家宪兵,为一支特种部队,负责反恐及拯救人质等等任务。国家宪兵干预组分为1个
  • 引导性问题引导性问题(leading question)或暗示性审问(suggestive interrogation),通常用于描述审问嫌疑犯的情形,是指提问内容包含了审问者对事件的解释与想法。引导性问题使被审问者的回答
  • 白泉社白泉社(白泉社、はくせんしゃ)是一家日本的出版社。主要发行杂志、漫画、文库、绘本等书籍。1973年12月1日从集英社分支出去成立。跟小学馆、集英社同属于一桥集团(一ツ橋グル
  • span class=nowrapCo(NOsub3/sub)sub3/sub/span三硝酸钴,或硝酸高钴,化学式Co(NO3)3,是绿色吸湿性固体。由五氧化二氮(硝酸酐)和氟化钴(Ⅱ)反应得到,也可通过电解氧化法制备。三硝酸钴是易挥发的固体,并且可以和某些有机溶剂剧烈
  • SIV猴病毒(英语:Simian immunodeficiency virus,简称SIV),也称为非洲绿猴病毒(英语:African Green Monkey virus),是一种可影响至少33种非洲灵长目的逆转录病毒。在对比奥科岛(于大约1100
  • 利为旅酒店里维埃拉酒店(Riviera Hotel & Casino)是位于美国内华达州拉斯维加斯赌城大道上的一间赌场酒店。酒店拥有2,100间客房,而客房大多位于23层高的酒店大楼内。赌场面积达110,000平
  • 南湖区南湖区是中国浙江省嘉兴市所辖的一个市辖区,原名秀城区,2005年5月17日改为现名。古置秀州,有秀水傍城墙流过,故名。南湖区辖8个街道、5个镇:建设街道、解放街道、新嘉街道、南湖
  • 球可以指: