单子

✍ dations ◷ 2025-11-27 09:33:10 #计算机科学小作品,函数式编程

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

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

相关

  • VBbr /5固体、 液体、 气体5族元素(又称钒族元素)是指元素周期表上第5族(ⅤB 族)的元素,位于4族元素和6族元素之间。5族元素包含钒(V)、铌(Nb)、钽(Ta)、
  • 地中海型气候地中海式气候,又称作地中海气候、副热带夏干气候,其分布于中纬度地区(约南北纬30至40度)的大陆西岸地区,包括地中海沿岸地区、黑海沿岸地区、美国的加利福尼亚州、澳洲西南部伯斯
  • 太莫西芬诺瓦得士或太莫西芬(Tamoxifen,简称TMX),常见商品名Nolvadex,可用于治疗或预防乳癌,目前仍在研究本品对于其他癌症的效果。本品可用来治疗 马-亚二氏症(英语:Albright syndrome)。诺瓦
  • 太祖太祖可以有下列数种含义:
  • span class=nowrapRbCl/span氯化铷是一个碱金属卤化物,化学式为RbCl。这个无机盐在电化学和分子生物学等领域中有不同的应用。在气态时,RbCl为双原子分子,键长约2.7868 Å。呈立方晶系时键长增长为3.285
  • 国家军事博物馆国家军事博物馆是一座将坐落于台北市中山区的国家级博物馆,为地下3层,地上7层的钢骨造建筑物,楼高35.55米,地下楼做为停车场及库房,地上1楼为特展厅、2至7楼为展厅。总楼地板面积
  • 侯官片侯官片,又称闽东语南片,是闽东语的一个方言片区,通行于清末福州府(福州十邑)所辖的大部分地域,大致相当于福州市区、闽侯、永泰、闽清、长乐、罗源、连江、福清、平潭、屏南和古田
  • P. mallei鼻疽伯克霍尔德氏菌(Burkholderia mallei),又称鼻疽伯克氏菌、鼻疽假单孢菌,一种革兰氏阴性菌,属于伯克氏菌属。它会引起马鼻疽。医学导航:病菌细菌(分类)gr+f/gr+a(t)/gr-p(c/gr-o药物(J1p
  • 三氧化铀三氧化铀(UO3)是铀的六价氧化物,可以通过在400℃灼烧硝酸铀酰得到。它的最常见的晶型是γ-UO3,为橙黄色粉末。三氧化铀可以在400℃和二氟二氯甲烷反应,产生氯气、光气、二氧化
  • 夏季奥林匹克运动会水球比赛水球自1900年第二届夏季奥运会起成为夏季奥林匹克运动会比赛项目之一。2000年起,增设了女子水球项目。匈牙利、意大利、英国是传统水球强国。