单子

✍ dations ◷ 2025-12-09 00:59:11 #计算机科学小作品,函数式编程

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

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

相关

  • ACEI类血管紧张肽I转化酶抑制剂(英语:ACE inhibitor,简称为ACEI)是一类抗高血压药。血管紧张素转化酶(ACE)是肾素-血管紧张素-醛固酮(RAA)系统中的一个重要环节,该系统对血压的调节有着及其
  • .nc.nc为法国海外属地新喀里多尼亚国家及地区顶级域(ccTLD)的域名。只有注册在新喀里多尼亚的公司才被容许使用.nc域名。A .ac .ad .ae .af .ag .ai .al .am .ao .aq .ar .as .a
  • Cmsub2/subOsub3/subCurium sesquioxide三氧化二锔是一种无机化合物,化学式为Cm2O3。锔能形成两种氧化物:三氧化二锔和二氧化锔(CmO2),其中前者更为常见。锔的氧化物都是固体,不溶于水但溶于无机酸。
  • 近危 (NT)近危物种是IUCN中保护现状属于Near Threatened(NT)的一类物种。保护现状比较低,但可能在不久的将来有濒危或灭绝等危险。IUCN需常对此范围内的物种级别进行重新评估,以确保其危
  • 狼居胥山肯特山(蒙古语:.mw-parser-output .font-mong{font-family:"Menk Hawang Tig","Menk Qagan Tig","Menk Garqag Tig","Menk Har_a Tig","Menk Scnin Tig","Oyun Gurban Ulus Ti
  • 咸兴差使咸兴差使(함흥차사)是朝鲜王朝初年太宗李芳远与太上王李成桂之间的一次政治冲突事件,咸兴是当时李成桂所在之处,咸兴差使指的是李芳远派往咸兴的使者,企图说服李成桂回到汉城,但大
  • 滨口滨口雄幸(1870年5月1日-1931年8月26日),日本大正、昭和初期政治人物,日本第27任内阁总理大臣,人称“狮子宰相”。高知県长冈郡五台山村出身,1895年东京帝国大学(今 东京大学)毕业,进大
  • 缩略语缩写(英语:Abbreviation(Abbrev),来自拉丁语 brevis,意为“短”),在语言学里是一种词语或短语的简易形式,又称省略、缩略语、缩写词。缩写大部分时候等同于简称,但它们之间有细微的差
  • 兵员和文职人员局中国人民解放军军徽中央军委政治工作部兵员和文职人员局,位于北京市,是中央军事委员会政治工作部下属局,负责全军兵员和文职人员工作。1950年,中央人民政府人民革命军事委员会作
  • 米兰达诉亚利桑那州案米兰达诉亚利桑那州案(英语:Miranda v. Arizona,384 U.S. 436 (1966))是联邦最高法院于1966年审理并最终以5比4作出判决的一个里程碑式的案件。在判决中,联邦最高法院规定在实施