单子

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

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

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

相关

  • CXCL101LV9, 1O7Y, 1O7Z, 1O80· chemokine activity· extracellular space· chemotaxis · inflammatory response · immune response · signal transduction · cell su
  • 艺术家艺术家是指进行艺术作品的创造活动的人物,包括写作、绘画、摄影、表演、雕塑、音乐、书法及舞蹈、等艺术领域,通常是有比较高的成就或拥有独特的个人风格,从而具备了一定的美学
  • 时间旅行时间旅行或称时空旅行、时光旅行或穿越时空等,泛指人或物体由某一时间点移至另一时间点,类似在空间中的移动。所有事物都顺着时间一分一秒地自然前进,因此这里的时间旅行单指违
  • 多塞特都会区东南多塞特郡组合都市(South east Dorset conurbation)也称南多塞特郡组合都市(South Dorset conurbation)、 普尔-伯恩茅斯都会区(Poole-Bournemouth urban area) 以及伯恩茅斯都
  • 皮埃尔·赖伐尔皮埃尔·赖伐尔(法语:Pierre Laval,1883年6月28日-1945年10月15日),法国政治家,曾任总理。1883年6月28日生于沙泰勒东。1935年6月-1936年1月两次组阁。第二次世界大战期间,支持菲利普
  • 虐待动物虐待动物是指人类对非人类动物畜意或非畜意施行使该动物承受痛苦或伤害的行为。无论该行为是否违反事发国家的法律,如符合条件,皆可被视为虐待动物。虐待动物的行为可以分为几
  • 奥杰布瓦语奥杰布瓦语(英文:Ojibwe language,奥杰布瓦文:Anishinaabemowin,ᐊᓂᔑᓈᐯᒧᐎᓐ)是阿尔冈昆语族下的一门美洲原住民语言。主要使用在加拿大和美国的一些省份。在加拿大是继克里
  • 雅尔哈齐雅尔哈齐(满语:ᠶᠠᡵᡤᠠᠴᡳ,穆麟德:Yargaci,太清:Yargaqi),爱新觉罗氏,女真语音中的雅尔哈齐直译成汉语为“豹子皮”之意,生卒年不详,清显祖塔克世第四子,清太祖努尔哈赤同母弟。其
  • 北京吉利学院北京吉利学院,简称吉利学院,是一所位于北京市昌平区马池口地区的私立大学,由吉利集团创办,以职业岗位培养为特色。广东新华教育学院成
  • 半数致死量半数致死量(英语:Median Lethal Dose),简称LD50(即Lethal Dose, 50%),在毒理学中是描述有毒物质或辐射的毒性的常用指标。按照医学主题词表(MeSH)的定义,LD50是指“能杀死一半试验总体