单子

✍ dations ◷ 2025-12-04 10:31:28 #计算机科学小作品,函数式编程

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

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

相关

  • 一闪一闪亮晶晶《一闪一闪亮晶晶》,原名《遇见真心遇见爱》,是大爱电视一部以慈济曾裕真老师真实人生为题材的电视剧,全剧共40集,于2010年10月30日-2010年12月8日在《大爱剧场》时段(台湾时间每
  • 三鹰事件三鹰事件,是指1949年7月15日晚上,在日本东京都北多摩郡三鹰町,中央本线三鹰站的一辆无人驾驶的空列车(63系)从车站停车库突然窜出,以时速60公里冲向车站,连带冲击到线路旁的商店街,
  • 人民民族党人民民族党(英语:People's National Party,缩写为PNP)是牙买加的一个社会民主主义和社会自由主义政党。由Norman Washington Manley于1938年创建。该党是加勒比海地区最早成立的
  • 太平洋美国太平洋沿岸地区是一块由美国的人口调查局所正式定义的九块地理区域之一。此区域包括五个州:阿拉斯加州、加利福尼亚州、夏威夷州、俄勒冈州、以及华盛顿州等,而这五州都濒
  • 西哥特王国西哥特王国(拉丁语:Hispania Visigothica),从5世纪到8世纪,由西哥特人在罗马帝国阿基坦高卢行省境内创建并扩张到整个伊比利亚半岛的一个国家。公元507年,西哥特人被克洛维一世领
  • 国家博物馆国家博物馆是由国家进行维护的博物馆。以下是国家博物馆的列表。
  • 欧洲短毛猫欧洲短毛猫是原产于欧洲的一种家猫,由捕鼠的欧洲家猫自然演化而来,1949年得国际猫科联盟认证,该组织认可的第一只欧洲短毛猫出生于1940年。这种猫性格活跃,性情温顺,仍有捕鼠的习
  • 夂部夂部,为汉字索引里为部首之一,康熙字典214个部首中的第三十四个(三划的则为第五个)。夂部通常是从上方为部字,且无其他部首可用者将部首归为夂部。要注意的是,在传统汉字中,夂部与
  • 李察·哈里斯李察·哈里斯(Richard St John Harris,也翻译为理查德·哈里斯,1930年10月1日-2002年10月25日),爱尔兰演员,歌手,戏剧制作人,电影导演和作家。于1930年10月1日出生在爱尔兰的利默里克
  • 实时传输协议实时传输协议(Real-time Transport Protocol或简写RTP)是一个网络传输协议,它是由IETF的多媒体传输工作小组1996年在RFC 1889中公布的。国际电信联盟ITU-T也发布了自己的RTP文