单子

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

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

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

相关

  • 小纺锤菌纲小纺锤菌科(Atractogloeaceae) 石花菌科(Mycogelidiaceae) 锤耳科(Phleogenaceae)小纺锤菌纲(学名:Atractiellomycetes)是担子菌门柄锈菌亚门下的一个纲。该纲仅含一目,即小纺锤菌目(学
  • 内细胞团内细胞团(英语:Inner cell mass,缩写:ICM、内细胞群)是大多数真兽类哺乳动物在胚胎发生中的一个早期阶段,又称胚细胞(embryoblast)。是一团位于初期胚胎中的一个细胞团块,也是最后将
  • 抑制素激活素(英语:Activin,亦成为激活蛋白或活化素)与抑制素(英语:inhibin)是一种用于抑制卵泡刺激素分泌的与组合的梭氨酸 。参与在月经周期的调节中。抑制素包括一个由二硫键链接起来
  • 哈玛星站哈玛星站位于中华民国高雄市鼓山区,为高雄捷运环状轻轨以及高雄捷运旗津线的车站,邻近哈玛星聚落并因此得名。可站外转乘高雄捷运橘线西子湾站。“哈玛星”此名称的由来,是因为
  • 1951年1951年被中华人民共和国处决的死刑犯列表,旨在列出1951年被中华人民共和国处决的死刑犯。
  • 995年
  • 平阳平阳县是中国浙江省地级市温州市下辖的五个县之一。《太平寰宇记》卷99温州平阳县:“邑有平阳岭”,故名。另据《郡县释名》浙江卷下:平阳县“晋名始阳县,以地有阳屿也,寻改名横阳
  • 李小冉李小冉(1976年5月8日-),中国大陆女演员,北京人。母亲是药剂师,父亲是中国人民解放军空军军人。1986年至1993年于北京舞蹈学院附中(民族舞专业),之后到1996年曾是东方歌舞团舞蹈演员
  • 全国普选票州际协定全国普选票州际协定(National Popular Vote Interstate Compact)是美国若干州份之间的协定,其目的旨在改革美国目前在总统选举中施行的选举人团制度,间接实现全民普选。协定规定
  • 柏林工业大学柏林工业大学(德语:Technische Universität Berlin, TU Berlin,或译“柏林理工大学”、“柏林科技大学”)是柏林市的四所大学之一,也是柏林州唯一一所理工科大学。主楼建于1884