单子

✍ dations ◷ 2025-08-01 03:21:41 #计算机科学小作品,函数式编程

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

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

相关

  • 定量构效关系定量构效关系(QSAR)是一种借助分子的理化性质参数或结构参数,以数学和统计学手段定量研究有机小分子与生物大分子相互作用、有机小分子在生物体内吸收、分布、代谢、排泄等生理
  • 金泽大学なす紺各学域人間社会学域理工学域金泽大学(日语:金沢大學/かなざわだいがく Kanazawa daigaku;英语译名:Kanazawa University),简称金大(きんだい),是一所本部位于石川县金泽市的日
  • 罗格斯大学罗格斯大学,全称新泽西州立罗格斯大学,简称罗大(Rutgers, The State University of New Jersey /ˈrʌtɡərz/)是美国新泽西州的最大高等学府,是一所公立研究型大学,名列公立常春
  • 柳宗元柳宗元(773年-819年11月28日),字子厚,河东(今山西运城)人,唐代著名文学家、思想家,唐宋八大家之一。参加永贞革新失败,被贬为永州司马。为当道者嫉恨,除短暂奉召入京外,终生未再北还。因
  • 潮解潮解(Deliquescence)指的是物质从空气中吸收水分,变为溶液的现象。吸湿性(Hygroscopy)则指物质从空气中吸取水分的性质。常见的有棉花、纸等纤维素类物质,以及糖、焦糖、蜂蜜、甘
  • 球状闪电球状闪电是一种自然现象,属于闪电的一种。球状闪电虽然通常与雷暴有关,持续时间比闪电还久。许多早期的报告说,球状闪电最终都会爆炸,有时具有致命的后果,并留下硫的气味。直到19
  • 隐蔽行动隐蔽行动(covert action)指在暗中实施的军事、情报或执法行动,通常在正式渠道以外进行。使用隐蔽行动的目的是在实现任务目标的同时,不让外界了解行动的赞助者与执行者。资金来
  • 科 (生物)科(英文: family, 拉丁语:)是生物分类法中的一级,位于目和属之间,现时生物界约有800个科,科下也分亚科,而在其上亦有总科。亚科是生物分类法的一级,在科和属之间,有时亚科和属之间也
  • 印度共和国日印度共和国日是纪念现行印度宪法于1950年1月26日取代1935年印度政府法(英语:Government of India Act 1935)正式生效的日子,也就是印度国庆日。1949年11月26日,印度制宪议会通过
  • 白犀白犀(学名:),又名白犀牛、方吻犀,是现存体型最大的犀牛之一。有 北白犀 和 南白犀 两个亚种,分别栖息于非洲中部和南部的草原。2018年3月19日,最后一头雄性北白犀“苏丹(英语:Sudan (