单子

✍ dations ◷ 2025-11-24 07:42:56 #计算机科学小作品,函数式编程

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

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

相关

  • 逻辑语义学我们在论证中可能遇到的各种句子/判决的有效性条件依赖于它们的意义,所以负责任的逻辑学家不能完全避免提供某种处理这些句子的意义的需求。逻辑的语义指称逻辑学家已经介入
  • 小强“强”原本是对于名字带有强字的昵称,后来因周星驰主演的电影而成为对蟑螂的别名。有些人亦会以小强自称或被昵称,或称里照宣。“小强”这个别名源于周星驰的电影。在1993年的
  • 农业地理学农业地理学是研究人类农业生产地域的差异及其规律的学科,是经济地理学的一个分支学科,也是农业科学的一个研究领域。农业与各个不同地域的自然条件、社会经济条件、人口密度和
  • 布鲁塞尔条约建立欧洲各大共同体统一理事会和统一委员会的条约(英语:Treaty establishing a Single Council and a Single Commission of the European Communities,法语:Traité de fusion
  • 朴素派素人艺术(naïve art)也称为质朴艺术或朴素艺术,指未经过正式训练,通常是自学的,非专业艺术家或艺师所创作的艺术。常用来指称创作于十九到二十世纪欧洲与北美洲的这类物件。这种
  • 上海上海河流列表,列举全部或部分在上海市境内的河流,并依照流域排列;支流则由河口至源头排序。
  • 永建永建用作几个年号的名称:
  • 沃夫-贺许宏氏综合征沃夫-贺许宏氏综合征(Wolf–Hirschhorn syndrome,简写WHS),是一种基与人类第4号染色体的遗传基因缺陷而引起的疾病。生长发育迟缓、心智障碍,还伴有癫痫症状。
  • 2001年–2010年载人航天飞行列表这是一个2001年-2010年的完整载人航天飞行列表,其中包括后间的和平号空间站、航天飞机计划及国际空间站的开始。
  • 苗语罗泊河次方言苗语罗泊河次方言是苗语川黔滇方言的一支,使用这个次方言的苗族约有5万多人,居住于贵州省中部落北河流域一带。罗泊河次方言只有三至四个声调,为苗瑶语言中最少。除此之外,罗泊