单子

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

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

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

相关

  • 大烟山国家公园大烟山国家公园(Great Smoky Mountains National Park),又名大雾山国家公园,是位于美国东部,跨越田纳西州和北卡罗来纳州的一座国家公园。由小罗斯福总统于1940年9月2日在公园内
  • 军伕军夫或者军伕可以指:
  • 自治领地自治领(英语:Dominion)是大英帝国殖民地制度下一个特殊的国家体制,可说是殖民地步向独立的最后一步。19世纪,所有实行自治或半自治的英国殖民地,尤其那些已具有自身宪政体制的,如加
  • 双性化双性性格(英语:androgyny)指的是一个人同时拥有男性化和女性化两性性格的现象, 他们或者是没有性别特性的价值观,或者是倾向于与自身性别相反的性格。双性格结合了行为上的雌雄通
  • 米騒动1918年米骚动(米騒動),亦称为米暴动,是指1918年7月至9月于日本发生的一系列骚动,这次骚动直接导致寺内正毅的内阁垮台。大米价格的暴涨造成了严重的经济困难,对于以大米为主食的农
  • 水滨鸟类水滨鸟类(学名:Aequorlitornithes)是鸟类的一个演化支,包含了多种水鸟。这演化支是在2015年的一项全面的基因组系统研究中,使用了来自近200个物种的样本而被发现。它包含了鸻形目
  • 孙松孙松(1963年6月-)中国男演员,北京电影制片厂演员剧团演员。出生于北京,祖籍山东。毕业于北京电影学院。因出演电视剧《渴望》中的“王沪生”一角而家喻户晓。
  • 长沙花鼓戏长沙花鼓戏为中国湖南东部和中部所流行的一个剧种,形成于清朝。由于当时流行的范围主要是在长沙府各地(今长沙,湘潭,株洲,益阳,娄底等地),并且以长沙话为统一的舞台语言,因此被称为长
  • 氢氧化亚铁氢氧化亚铁,化学式为Fe(OH)2,几乎不溶于水,是一种碱。用碱溶液和含有亚铁离子的盐溶液反应可制得。氢氧化亚铁本身是白色物质,但可以被氧化为氢氧化铁,氢氧化铁呈红棕色或红褐色
  • 马克·夏卡尔马克·夏卡尔(又译马克·夏加尔;俄语:Марк Шага́л;意第绪语:מאַרק שאַגאַל‎;法语:Marc Chagall;1887年7月6日-1985年3月28日),出生名莫伊舍·扎卡尔罗维奇·夏