单子

✍ dations ◷ 2025-12-01 13:37:12 #计算机科学小作品,函数式编程

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

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

相关

  • 硅藻见内文硅藻纲(学名:Bacillariophyceae)是真核藻类的一个主要类群,同时也是最常见的一种浮游藻类。多数为单细胞生物,尽管有些种类可以丝状或带状群体(如Fragilaria)、扇状群体(如Mer
  • 假体假体或假肢(英语:Prosthesis 或 Prosthetic implant)指人造肢体,用来取代肢体的功能障碍(不论暂时性或永久性),或是用来掩饰肢体伤残。与义体(如义乳、假鼻子、假发、假牙)最大的不同
  • 一氧化二碳一氧化二碳(DCMO),分子式为C2O,是一个十分活泼的共价化合物。它是二氧化三碳光解的中间体,与CO、CO2和C3O2等碳氧化物联系密切。它相对稳定,与NO和NO2会发生反应。
  • 埃因霍温埃因霍温(荷兰语:Eindhoven)又译埃因霍温、爱因荷芬,旧译名安恒,是一个位于荷兰南部北布拉班特省的市镇,是荷兰的第五大城市。埃因霍温是欧洲领先的科技中心之一,地处西欧悠久科技
  • 赛洛西宾赛洛西宾(Psilocybin (/ˌsɪləˈsaɪbɪn/ SIL-ə-SY-bin)是由超过两百种蘑菇(合称迷幻蘑菇,其中主要是是Psilocybe属的成员,如P. azurescens , P. semilanceata和P. cyanescens
  • 三油酸甘油酯三油酸甘油酯(英语:glycerol trioleate或glyceryl trioleate),又称三油酸酯或三油精(英语:Triolein)是一种酯类有机化合物,其化学式为C57H104O6。三油酸甘油酯是一种对称的三酸甘油
  • 空军指挥学院中国人民解放军空军指挥学院,简称空军指挥学院,位于北京市海淀区北四环西路88号,是培养空军中高级指挥军官的军事高等院校,隶属中国人民解放军空军。(2016年改革前称政治部主任)(20
  • DIEDIE或Die可以表示下列意思:
  • 臭菘臭菘(学名:Symplocarpus foetidus)是天南星科臭菘属的植物。分布在北美、日本中部至北部、西伯利亚、乌苏里江流域以及中国大陆的吉林省、黑龙江省等地,生长于海拔100米至300米
  • 联盟系列宇宙飞船发射任务列表这是一份关于苏联/俄罗斯所研制的联盟号飞船历次发射任务的列表。关于苏联/俄罗斯使用联盟系列飞船进行的载人航天工程的更多内容,请参见主题条目:联盟计划。使用此表时请注意