单子

✍ dations ◷ 2025-12-02 03:47:57 #计算机科学小作品,函数式编程

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

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

相关

  • 加拿大环境部加拿大环境和气候变化部(英语:Environment and Climate Change Canada,法语:Environnement et Changement climatique Canada),是加拿大政府负责协调环境政策和方案,以及保护并提高
  • 磺胺甲恶唑磺胺甲
  • 成纤维细胞纤维母细胞(fibroblast)是一种合成胞外基质和胶原蛋白的细胞,为生物结缔组织的基本构造,提供框架结构(基质)。并在动物伤口愈合上扮演重要角色。在胚胎发育中,成纤维细胞和其他的结
  • 呼吸道上皮细胞伪复层纤毛柱状上皮属于另一种单层柱状上皮的变异,细胞皆具有纤毛,又可以称为假复层纤毛柱状上皮。之所以称做伪复层是因为其在切片下看起来细胞好像多于一层所造成的错误观念
  • 罗马神话像古希腊神话这样的罗马神话实际上并不存在,一直到罗马共和国末期罗马的诗人才开始模仿希腊神话编写自己的神话,因此罗马人没有传说的、像希腊神话中那样的神之间的斗争之类的
  • 乌头酸乌头酸(英语:Aconitic acid)是一种有机酸,其两种异构体分别是顺乌头酸与反乌头酸。顺乌头酸的共轭碱,顺乌头酸盐是三羧酸循环中柠檬酸盐异构化为异柠檬酸盐的中间产物。这一步骤
  • 斯图卡战机Ju 87俯冲轰炸机(德语:Junkers Ju 87)是第二次世界大战纳粹德国空军投入使用的一种俯冲轰炸机,一般通称“斯图卡”(Stuka),取自俯冲轰炸机的德文写法“Sturzkampfflugzeug”的缩写,
  • 沙马沙马·顺达卫(泰语:สมัคร สุนทรเวช,皇家转写:Samak Sunthorawet 泰语发音:;1935年6月13日-2009年11月24日),华文名李沙马,生于曼谷,为泰国华裔。他是泰国人民力量党的前任
  • 无为金丹道无为金丹道,前身为圣贤道,是二十世纪中期活跃于中国山东省北部的一个会道门,该会道门声称“末劫年”即将到来,并吸引大量农民入教。1951年8月,该会道门在博兴县发动武装暴动,建立
  • 尹达尹达(1906年-1983年),原名刘燿,字照林,又名刘虚谷。河南省滑县人。中国现代考古学家。早年毕业于河南大学,后供职于中央研究院历史语言研究所考古组。抗日战争期间,奔赴延安,任教于陕