单子

✍ dations ◷ 2025-09-18 05:37:56 #计算机科学小作品,函数式编程

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

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

相关

  • 复活复活是指生命在死亡后再复生的意思,也称作死而复生。复活是很多宗教的中心思想,但其阐释却不一定与不死灵魂的宗教信念相关。复活的思想,存在于古今的宗教中。古代埃及人相信,人
  • 6第6周期元素是元素周期表第六行(即周期)的元素,包括镧系元素。该周期元素都具有一定毒性。有:第1周期元素 - 第2周期元素 - 第3周期元素 - 第4周期元素 - 第5周期元素 - 第6周期
  • 电磁炉电磁炉是一种使用电力的烹调工具,属于暗火煮食炉具。使用时炉身不会大量发热,是利用电磁感应加热(induction heating)使煮食器皿发热,炉身相对较低温和安全(炉身灼伤人的机会较低)
  • 自称中国小中华思想是一种由中华思想派生而来的,指中华文化圈中政治制度与语言不同于汉族的民族或国家,自认也是中华的意识:59,朝鲜半岛:59、越南:120、日本:109,111-112等古代东亚各国
  • 军事独裁军事独裁(英语:military dictatorship),又称军政府(military junta),一种独裁政体形式,独裁者透过军队维持其政治权力。它类似于军政(Stratocracy),但在概念上略有不同,军政是指直接由军
  • 便当盒饭是指使用盒子盛装饭菜或面条等各种食物以便于携带的盒装餐食,主要流行于亚洲以稻米作为主食的地区。“便当”一词最早源于南宋时期的俗语,意思是“便利的东西、方便、顺利
  • 马瑟约翰·克伦威尔·马瑟(英语:John Cromwell Mather,1945年8月7日-),美国国家航空航天局戈达德航天中心的高级天体物理学家。他和乔治·斯穆特因发现了宇宙微波背景辐射的黑体形式和
  • 卡拉恰伊人卡拉恰伊人(卡拉恰伊语:Къарачайлыла,俄语:Карача́евцы)是突厥语民族的一支,主要居住在俄罗斯卡拉恰伊-切尔克斯共和国,少数分布在哈萨克斯坦、土耳其等地
  • 伊德瑞斯·艾尔巴伊德瑞萨·阿库纳·艾尔巴,OBE(英语:Idrissa Akuna "Idris" Elba,1972年9月6日-)或简称伊德瑞斯·艾尔巴(英语:Idris Elba),是一名英国男演员、制片人、导演、音乐家和DJ。较著名的是
  • 当代当代史(英语:Contemporary history)是在时间轴上与当前紧密相连的历史,是现代史的特定角度,即现在的历史,或是与个人相关的历史。当代史一词早在19世纪就已使用,并在21世纪成为一门