单子

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

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

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

相关

  • 伦巴底伦巴底可以指:
  • 见部,为汉字索引中的部首之一,康熙字典214个部首中的第一百四十七个(七划的则为第一个)。正体为七划部首,简体则归四划。见部大都以右、下方为部字。且无其他部首可用者将部首归
  • 乔治四世乔治四世(英语:George IV,1762年8月12日-1830年6月26日),全名乔治·奥古斯塔斯·腓特烈(英语:George Augustus Frederick),英国王室成员,1762年至1820年以王储身份出任威尔士亲王,1811年
  • DNA解旋酶螺旋酶(英语:Helicases,又译解旋酶或解螺旋酶)是所有生物体维持生命所必需的一类酶,可分为多种类型。这类酵素是能够依循核酸磷酸双酯骨架(phosphodiester backbone)的方向性,而往特
  • 谢希谢希(英语:Salitis),古埃及第十五王朝首任国王。为西克索斯人首领,西克索斯人是青铜器时代巴勒斯坦入侵者,他们逐渐侵袭埃及,强占王位。占领下埃及与中埃及,将上埃及由其诸侯来统治
  • 艾蜜莉·华森艾米丽·沃森(英语:Emily Watson,1967年1月14日-),英格兰女演员。她的首部电影作品是由拉斯·冯·提尔执导的《破浪而出》(1996)而获得欧洲电影奖、纽约影评人协会奖、国家影评人
  • 府份泰国的行政区划大致分为四个等级:府、县、区、村。第一级行政区在泰语称为“จังหวัด”( changwat),中文译为“府”。全国共有77个一级行政区,其中包括76个府与府级直辖市
  • 2004年奥运会2004年夏季奥林匹克运动会的篮球比赛在两个场地举行,历时15天,从8月14日-8月28日进行。预赛和淘汰赛将在赫里尼科奥林匹克体育馆里举行,而四分之一决赛、半决赛和决赛的比赛将在
  • 小绿人台灣的行人专用信号灯是一种在台湾的交通号志,分成上下方两个灯面。上方是通知行人灯号即将变化的“倒数计时读秒显示”,下方则为七个动作组成的动画小绿人走动画面。行人交通
  • 泰坦巨蟒属泰坦巨蚺属(学名:,意即“极大的蚺蛇”)是一个生活在古新世(约 6,000 至 5,800 万年前)的无毒、肉食性蚺类。已知的唯一种塞雷洪泰坦巨蚺()也是已知最大的蛇。把它石化的脊椎骨与现代