单子

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

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

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

相关

  • 空间空间为一种抽象观念,乃是物质与事件存在并有彼此相对关系的客观形式。与“时间”相对,通常指四方上下。古典物理的解释:宇宙中物质实体之外的部分称为空间。近代物理的解释:宇宙
  • 药物前体前体药物(英语:prodrug),也称前药、药物前体、前驱药物等,是指经过生物体内转化后才具有药理作用的化合物。前体药物本身没有生物活性或活性很低,经过体内代谢后变为有活性的物质,
  • 牛津拼写牛津拼写(英语:Oxford spelling),也称为牛津英语词典拼写(Oxford English Dictionary spelling)、牛津式(Oxford style)或牛津英语拼写(Oxford English spelling),是英语的一种拼写方式
  • 蓓尔美尔蓓尔美尔(Pall Mall)是伦敦西敏市的一条街道,与林荫路平行。它西起于圣詹姆士街(英语:St James's Street)(St. James's Street),途径滑铁卢坊(Waterloo Place),东止于干草市场街。此后延
  • 洪流玄武岩洪流式玄武岩(英语:Flood basalt)为一种不同于中央爆发,而从线状裂缝喷发的爆发型态,常发生于裂谷,并因为热柱中黏滞性小的岩浆短时间内喷发而产生。
  • 稻属已知18种,见内文。稻属(学名:Oryza)是禾本科的一属,有18个物种,包括2个栽培种和17个原生种。分布于全球的热带与亚热带地区。稻属是由卡尔·林奈在1753年确定,此后稻属物种的归属与
  • 小菜蛾小菜蛾(学名:Plutella xylostella),也称菜蛾、两头尖、方块虫、小青虫,是一种可能原生于地中海地区的蛾,现广泛分布于世界各地。小菜蛾的生命周期很短(25°C时只有14天),但是生命力极
  • 地面部队单兵护甲系统PASGT,全称为地面部队单兵护甲系统(英语:Personnel Armor System for Ground Troops),是美国军方由1985年开始装配的一款单兵装备,由头盔及防弹衣组成。其中头盔以凯芙拉复合材料
  • 南召县南召县是中国河南省南阳市的下辖一个县。全县面积2946平方公里,人口约60万人,地形主要为丘陵。秦昭襄王三十五年(前272年),置南阳郡,始置雉县。明成化十二年(1476年)置南召县,因
  • 彭博有限合伙企业 美国纽约州纽约市彭博有限合伙企业(英语:Bloomberg L.P.)是美国的跨国大众传播媒体公司。由迈克尔·布隆伯格于1981年创立,提供新闻、全球商业和金融数据的跨国集团。彭博于全