单子

✍ dations ◷ 2025-11-27 15:51:40 #计算机科学小作品,函数式编程

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

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

相关

  • 感觉神经性耳聋感觉神经性耳聋是由内耳,前庭耳蜗神经(第VIII号脑神经)或中枢听觉系统的病变造成的耳聋。感觉神经性耳聋分有先天与后天之分。先天性耳聋可由遗传(包括如 Usher 综合征等罕见遗
  • 消除半衰期生物半衰期(英语:Biological Half-Life)是一个物质(如代谢物、药、讯息分子、放射性核种)失去一半的药理、生理、或放射性效应所需的时间。通常这个词用来描述肝、肾或排泄过程将
  • 约翰·沃克约翰·沃克(John Walker)可以指:
  • 轮是以圆形的物体造成大为减少磨擦。如果配上轴,即成为车的最主要构成部分。轮在交通运输中非常有用,是人类的重要发明之一。除了车轮以外,其他圆形的轮还有舵轮(英语:Ship's whe
  • 燕巢总机厂燕巢总机厂是台湾高铁位于高雄市燕巢区的总维修机厂,占地约58公顷,负责高铁列车的四至五级维修以及接收和组装新列车。此机厂设有一条测试线,作为高铁列车大修完成后的测试轨道
  • 持续到成年成人注意力不足过动症(英语:Adult attention deficit hyperactivity disorder、adult ADHD、adult with ADHD、ADHD in adults、或AADD)是持续到成年的注意力不足过动症,属于神
  • 航天员航天员是指接受航天训练后,指挥、操纵或搭乘航天器的人员。在美国,以旅行高度超过海拔80公里(50英里)的人被称为“astronaut”。国际航空联合会(FAI)定义的宇宙航行则需超过100公
  • 长胡子有胡女性,是指女性有像男性一样胡须的实际或假造现象,近来也成为政治宣示或时尚宣示。这是一种存在人类中,极其罕见的人体现象。有时,打睾酮的女性也会长胡子。
  • 爱德华·拉特利奇爱德华·拉特利奇(英语:Edward Rutledge,1749年11月23日-1800年1月23日),美国独立初期的政治家,奴隶主,南卡罗莱那州人,生于查尔斯顿,其兄约翰·拉特利奇是美国宪法制定会议的成员。他
  • 英伊石油公司英波石油公司(波斯语:شرکت نفت ایران و انگلیس;英语:Anglo-Persian Oil Company)是在1908年发现伊朗马斯吉德苏莱曼(Masjed Soleyman)一处大型油田后成立,这是首