单子

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

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

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

相关

  • 泰妙林泰妙菌素又称为“硫姆林”“泰妙霉素”“泰妙林”“泰妙灵”“枝原净”“泰牧霉素”,是一用于猪和禽等动物的抗生素,属于截短侧耳素类抗生素。泰妙菌素为双萜类(英语:diterpene)
  • 查士丁尼瘟疫查士丁尼大瘟疫是公元541至542年发生在拜占庭帝国的一场大瘟疫。当时包括首都君士坦丁堡在内多地受到影响。关于是次瘟疫的具体疾病,最广为接受的说法是鼠疫。大瘟疫分为五次
  • CD61n/an/an/an/an/an/an/an/an/an/a整联蛋白β-3(Integrin β3)或 CD61(Cluster of differentiation 61)是一种蛋白质 ,在人类基因组中由 ITGB3 基因编码。 CD61 是一种在血小板上表
  • 欧阳予欧阳予(1927年7月26日-),中国核反应堆及核电工程专家。1927年生于四川乐山。1948年毕业于国立武汉大学工学院电机系。1957年获苏联莫斯科动力学院技术科学博士学位。2000年当选
  • C3C3可以指:
  • ǁ̬浊边搭嘴音(Voiced lateral click)是一种辅音,主要出现于南非的一些口语中。表示此音的国际音标(IPA)是⟨ǁ̬⟩或⟨ᶢǁ⟩,亦有部分语言学家偏好使用已废弃的音标⟨ʖ̬⟩或⟨ᶢ
  • 利多富电脑公司Nixdorf电脑公司(Nixdorf Computer AG)是一家(德国)电脑公司,于1968年由海因斯·利多富在德国帕德博恩市所创办。该公司曾是欧洲第四大的电脑公司,并在银行系统领域中拥有全球性的
  • 阿尔巴尼亚民主党阿尔巴尼亚民主党(阿尔巴尼亚语:Partia Demokratike e Shqipërisë)是阿尔巴尼亚的中间偏右保守主义政党,该党与执政的阿尔巴尼亚社会党同样支持阿尔巴尼亚加入欧盟。在2005年
  • 辰州辰州,中国隋朝时设置的州。在今湖南省、贵州省境内。隋开皇九年(589年)改武州置,治所在龙檦县(今湖南省洪江市西北黔城镇),旋移治沅陵县(今属湖南省)。以境内辰溪得名。辖境相当今湖
  • 水口山水口山镇,中国湖南省永州市零陵区下属的一个镇,位于零陵区西南,紧邻都庞岭,距零陵城区53公里,下辖49个行政村和1个居委会,总面积151平方公里,总人口43360人。珠山镇下辖以下地区:水