单子

✍ dations ◷ 2025-11-26 17:07:44 #计算机科学小作品,函数式编程

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

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

相关

  • 塞拉尼拉浅滩塞拉尼拉浅滩(西班牙语:Banco Serranilla)也作小塞拉纳岛,是加勒比海西部海域一组无人居住的珊瑚礁,现属于哥伦比亚圣安德列斯-普罗维登西亚省管辖,洪都拉斯、尼加拉瓜和美国也对
  • L-型细菌L型细菌系一类在突变后细胞壁缺损的细菌,能在固体培养基上形成煎蛋形的小菌落。L型细菌必须生活在高渗透压的环境中,否则就会裂解死亡。其细胞膨大,对渗透压十分敏感。其之所以
  • 荆州荆州,中国东汉末至唐朝时的州,前身为监察区荆州刺史部。早期幅员广袤,包括今天湖北、湖南二省的大部以及邻省的小部,后分置湘州等州,隋朝以后辖境仅限于今湖北省荆州市一带。西汉
  • 联邦教育与科学部俄罗斯联邦教育与科学部(俄语:Министерство образования и науки Российской Федерации) ,俄罗斯联邦政府组成部门之一,负责
  • 恐水狂犬病(拉皮斯病,俗称疯狗症,字根来自拉丁语:rabies,意为“疯狂”)是一种由狂犬病病毒引起之人畜共患病,可于恒温动物身上造成严重脑炎。没有接受疫苗免疫的感染者,当神经症状出现后
  • 电竞电子竞技(英语:eSports),简称电竞,是指使用电子游戏来比赛的体育项目。随着游戏对经济和社会的影响力不断增强,电子竞技正式成为运动竞技的一种。电子竞技就是电子游戏比赛达到竞
  • 造林植树造林(英文:Afforestation、Forestation)为在没有森林覆盖的区域中,透过栽植树苗、林木育种等人为方式,使之逐渐成为树林或森林地,这样的森林又称为人造林。在全球,有许多国家的
  • 北竿乡北竿乡(福州语平话字:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium
  • 脑部受损脑损伤(Brain damage)或脑部受伤(brain injury,简称BI)是指人脑细胞的受损或是退化。脑损伤可能因为一些内在或是外在的因素所造成。一般而言,会用“脑损伤”来表达一般明显的,因为
  • 青岛小片青岛话是通行于中国青岛市市域范围内的一种北方现代汉语方言。系属胶辽官话青莱片。广义的青岛话,按照不同特点,可以分为7种方言:青岛老街里方言、崂山-李沧方言、城阳方言、即