首页 >

单子

✍ dations ◷ 2025-11-30 20:31:38 #计算机科学小作品,函数式编程

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

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

相关

戈特弗里德·莱布尼茨戈特弗里德·威廉·莱布尼茨（德语：Gottfried Wilhelm Leibniz，德语：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida San
热带雨林气候热带雨林气候，又称热带型雨林气候，全年高温多雨，可分为两种子类型：常年受赤道低压带控制的赤道多雨气候和常年受潮湿信风控制的热带海洋性气候，在对应的柯本气候分类法中代号为“
正肝病毒属正肝去氧核糖核酸病毒属（Orthohepadnavirus）又译作正肝病毒属，是肝病毒科（Hepadnaviridae）的一个属，主要感染对象为脊椎动物。代表种：
特化细胞分化（英语：cellular differentiation），是发育生物学的研究课题之一，指的是在多细胞生物中，一个干细胞在分裂的时候，其子细胞的基因表达受到调控，例如DNA甲基化，变成不同细胞类型
美洲野牛美洲野牛（学名：Bison bison），又名美洲水牛或犎牛，是偶蹄目牛科哺乳动物，也是北美洲体型最大的哺乳动物和世界上最大野牛之一。尽管体型庞大，仍可维持60公里的奔跑速度。主要群体由
射击运动射击运动（shooting sport）是考验个人枪械使用能力和技巧的各种竞技和休闲运动，是现代奥运会最著名的比赛项目之一，也是西方民间历史悠久的一种传统运动。在英文中“shooting”一
金川金川县（藏语：.mw-parser-output .uchen{font-family:"Qomolangma-Dunhuang","Qomolangma-Uchen Sarchen","Qomolangma-Uchen Sarchung","Qomolangma-Uchen Suring","Qomolangm
性别表现性别表现（英语：Gender expression），包括性别气质，是指特定文化背景下与某种性别相关的人的行为、举止、兴趣和外观方面，特别是与女性表现或男性表现有关的类别。这也包括性别角色
易卜拉欣·鲁戈瓦易卜拉欣·鲁戈瓦（阿尔巴尼亚语：Ibrahim Rugova，1944年12月2日－2006年1月21日），出生于第二次世界大战意大利王国占领下的南斯拉夫，阿尔巴尼亚族，科索沃共和国国父。是前科索沃总统及
矩估计在统计学中，矩估计（英语：method of moments）是估计总体参数的方法。首先推导涉及感兴趣的参数的总体矩（即所考虑的随机变量的幂的期望值）的方程。然后取出一个样本并从这个样本估