单子

✍ dations ◷ 2025-11-24 14:59:05 #计算机科学小作品,函数式编程

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

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

相关

  • 人畜共通传染病人畜共通病(英语:zoonoses)指任何可以经由动物传染给人或由人传染给动物的传染病。它们透过人畜之间直接传播,或是借由病媒传播(例如蚊子),将病原体带入另外一个生物体上,而这些病原
  • 尼古丁贴尼古丁贴,俗称戒烟贴,是一种贴在皮肤上的低浓度尼古丁贴片,能透过皮肤向人体释放尼古丁。它在1991年就开始投入使用,据信能够帮助戒烟。在戒烟方法之中,其乃应用尼古丁替代疗法最
  • 垂体腺瘤垂体瘤(英语:pituitary tumours)是发生于脑下垂体的肿瘤,70%为厌色细胞瘤,其次为嗜酸细胞瘤和混合瘤(含有嗜酸和厌色两种细胞),嗜碱细胞瘤较罕见。从生物化学角度讲,催乳腺瘤(prolacti
  • 拉丁文常用短语拉丁语短语列表(List of Latin phrases)以下是一些常用的拉丁文短语。拉丁语是罗马帝国的官方语言,现在欧洲的许多语言都含有拉丁语的借词。许多拉丁语词汇也是从古希腊文引入
  • span class=nowrapUOsub2/subSOsub4/sub/span&g硫酸铀酰是一种无机化合物,化学式为UO2SO4,有放射性。存在无水物和各种水合物(0.5到4水)。将三氧化铀溶解在硫酸溶液中,得到产物(水合物)。硫酸铀酰的重水溶液可以用作均相反应堆的
  • 自然崇拜自然崇拜是对自然神的崇敬而产生的崇拜活动,乃原始宗教。不同的原始部族因应生活环境而崇拜不同的对象,把对象视为神来崇拜。自然崇拜的神祇来源可归纳三大类,就是天体、自然力
  • 10月15日10月15日是阳历一年中的第288天(闰年第289天),离全年的结束还有77天。
  • 松山慈祐宫坐标:25°03′05″N 121°34′40″E / 25.051264°N 121.577661°E / 25.051264; 121.577661松山慈祐宫,旧称锡口妈祖庙,是位于台湾台北市松山区慈祐里、饶河街夜市旁的妈祖庙,
  • 王 濂王濂(1314年-1370年),字习古,安徽定远人,明朝初期政治人物。其为李善长的内兄,其善于学问、侍奉亲人甚孝。早年跟从地方流寇,后朱元璋攻陷集庆,于是渡江跟随。李善长引荐,后得召见,并授
  • 竞争性抑制剂竞争性抑制剂(Competitive inhibitor)是一种酶抑制剂,竞争性抑制剂可能会和酶的活性部位结合,来和基质(英语:Substrate_(chemistry))(substrate)相互竞争,也可能是和基质结合,和酶相互