单子

✍ dations ◷ 2025-11-28 09:39:58 #计算机科学小作品,函数式编程

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

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

相关

  • J01DA·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码J01(抗菌药)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO Collaboratin
  • 戴维·朗伊戴维·罗素·朗伊,ONZ,CH(英语:David Russell Lange,1942年8月4日-2005年8月13日),作为第三十二任新西兰总理(1984年-1989年)领导了新西兰的第四届工党政府。在他主持政府期间,大规模的
  • 伯里布森伯里布森(Peribsen)是古埃及第二王朝的一位法老,在位17年。他可能用了非同一般的手段来登上王位。他的王衔形式不是早王国时期诸法老常用的荷鲁斯而是赛特,说明他来自其他家族。
  • 赛伦赛斯特坐标:51°43′08″N 1°58′05″W / 51.719°N 1.968°W / 51.719; -1.968赛伦赛斯特(Cirencester,i/ˈsaɪərənsɛstər/)是英格兰格洛斯特郡的一个城镇,位于伦敦西北93英里(15
  • 弹性模数弹性模量是指当有力施加于物体或物质时,其弹性变形(非永久变形)趋势的数学描述。物体的弹性模量定义为弹性变形区的应力-应变曲线的斜率:其中λ是弹性模量,stress(应力)是引起受力区
  • 栗色栗色,又称褐紫红、深红(英文:Maroon)是红色之一,由棕色和紫色混合而成。虽然栗色没有混合红色,但栗色被认为是深红色的一种。英文辞源从法文marron(意指“栗子”)获得,但没有成为一个
  • 白德彰白德彰(1931年3月8日-2019年11月23日),男,锡伯族,辽宁新民人,中国影视演员、导演。1931年3月8日生于辽宁省新民县。锡伯族,姓巴雅拉氏。幼时在家乡农村读小学。1946年进入新民县师范
  • 反阿拉伯主义反阿拉伯主义,或称阿拉伯恐惧症,是指对阿拉伯人的偏见或敌视。反阿拉伯主义常与伊斯兰恐惧症(Islamophobia)混淆,其实阿拉伯人当中也存在非伊斯兰宗教团体和非主流伊斯兰教派,特别
  • 葱烧海参葱烧海参是鲁菜及辽菜的一种。葱烧海参以海参为主料,葱为配料,进行料理。北京丰泽园制作的鲁菜“葱烧海参”在当地为正宗代表之一。
  • 兰诺定受体结构 / ECOD 兰诺定受体,又称雷恩诺碱受体、鱼尼丁受体(英语:Ryanodine receptors,缩写:RyRs)是存在于动物的肌肉与神经细胞中的钙离子通道。兰诺定受体有三种类型,分别存在不同的