单子

✍ dations ◷ 2025-12-06 23:58:13 #计算机科学小作品,函数式编程

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

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

相关

  • 产物在原子核物理学中,衰变产物(也称至子同位素)是一个元素经过辐射衰变后剩下来的核素。辐射衰变通常涉及很多过程(衰变链)。例如,铀238(U-238)衰变至钍234(Th-234),钍234(Th-234)
  • 埃德沃德·迈布里奇埃德沃德·迈布里奇(Eadweard James Muybridge,/ˌɛdwərd ˈmaɪbrɪdʒ/;1830年4月9日-1904年5月8日)是一位英国摄影师,知名于在摄影运动研究方面的开创性工作和在电影放映机的
  • 粗面岩粗面岩是一种化学成分和正长岩相同的火山喷出岩石,基质为隐晶质,有气孔或多孔的熔渣构造,表面粗糙,所以名为粗面岩,可以有灰色、灰白色、浅褐黄色、浅肉色等多种颜色,有斑状结构,其
  • 八里桥之战八里桥之战是第二次鸦片战争中清朝对英法宣战后,华北地区清军主力,包括科尔沁部僧格林沁野战骑兵、八旗察哈尔、索伦部、甘肃陕西调来的汉军、京津地区八旗绿营与英法联军在通
  • 丰顺县坐标:23°46′N 116°11′E / 23.767°N 116.183°E / 23.767; 116.183丰顺县位于中国广东省东部,属于梅州市管辖。古代潮州八邑之一。东边与潮州市潮安区相邻,南边与揭阳市揭
  • 程志程志(Cheng Zhi)是美国电视连续剧《24》的一个角色。在剧中,他是中华人民共和国驻洛杉矶总领事馆保安主管以及一名特工。程志于第四季担任中华人民共和国驻洛杉矶领事馆保安主
  • 刘庆邦刘庆邦(1951年12月-),河南沈丘人,中国当代小说家,以短篇小说出名。作品有《神木》、《红煤》、《闺女儿》、《家长》等。其中改编自《神木》的电影《盲井》获第53届柏林国际电影节
  • 钛的同位素钛(原子量:47.867)共有28个同位素,其中有5个是稳定的。备注:画上#号的数据代表没有经过实验的证明,只是理论推测而已,而用括号括起来的代表数据不确定性。
  • 估计理论估计理论是统计学和信号处理中的一个分支,主要是通过测量或经验数据来估计概率分布参数的数值。这些参数描述了实质情况或实际对象,它们能够回答估计函数提出的问题。例如,估计
  • 猴头菇猴头菇(学名:),又称猴头菌、猴头蘑、猴菇、刺猬菌、猬菌、猴蘑,伞菌纲,猴头菇科,是中国传统的名贵菜肴。《中国药用真菌》记载:“猴头菇味甘、性平、能利五脏、助消化、滋补、对消化