单子

✍ dations ◷ 2025-12-06 08:56:37 #计算机科学小作品,函数式编程

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

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

相关

  • 语言哲学语言哲学是一门哲学的分支,对语言的用法、来源及本质作理性的研究。对于分析哲学来说,有四个主要关心的问题:意义的本质、语言用法、语言认知及语言与现实的关系。对欧陆哲学家
  • 美国国家足球队美国国家足球队(英语:United States men's national soccer team,USMNT)成立于1913年,并于1914年加入FIFA,成为其成员之一,美国的球衣赞助商是耐克。美国早在1930年的第一届世界杯
  • 爱尔兰移民爱尔兰人,狭义上指爱尔兰共和国的公民,广义上来讲是自古居住在爱尔兰岛上的人们。广义的爱尔兰人属于凯尔特(Celtic)人种。爱尔兰岛分为两部分,南部是爱尔兰共和国,北部是北爱尔
  • 内皮 (意大利)内皮(意大利语:Nepi),是意大利维泰博省的一个市镇。总面积83.99平方公里,人口9463人,人口密度112.7人/平方公里(2009年)。ISTAT代码为056039。
  • 翟灏翟灏可以指:
  • 原始汉语原始汉语(英语:Proto-Sinitic language),一种祖语,历史语言学假设所有汉语都拥有共同始祖,并根据这个假设来重建出这种语言。学者一般相信,原始汉语分支自原始汉藏语,之后独立发展,在
  • 孝庄文皇后孝庄文皇后(满语:ᡥᡳᠶᠣᠣᡧᡠᠩᡤᠠ ᠠᠮᠪᠠᠯᡳᠩᡤᡡ ᡤᡝᠩᡤᡳᠶᡝᠨ ᡧᡠ ᡥᡡᠸᠠᠩᡥᡝᠣ,穆麟德:hiyoošungga ambalinggū genggiyen šu hūwangheo,太清:hiyouxung
  • 塞浦路斯广播公司塞浦路斯广播公司(希腊语:Ραδιοφωνικό Ίδρυμα Κύπρου,土耳其语:Kıbrıs Radyo Yayın Kurumu),英文缩写CyBC,是塞浦路斯的公共广播媒体,拥有五个广播频率和
  • 5族元素固体、液体、气体5族元素(又称钒族元素)是指元素周期表上第5族(ⅤB 族)的元素,位于4族元素和6族元素之间。5族元素包含钒(V)、铌(Nb)、钽(Ta)、�(Db),均为过渡金属元素,其中�为人造元素,具高度
  • 女性主义电影女性主义电影(英语:feminist film)上世纪60年代末至70年代初,随着女权电影理论的发展,出现了大量主张或阐明女权主义观点的女权主义电影。20世纪60年代,由于政治辩论和所谓的“性