单子

✍ dations ◷ 2025-11-19 18:47:19 #计算机科学小作品,函数式编程

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

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

相关

  • 单氟磷酸钠单氟磷酸钠,化学式Na2PO3F,缩写MFP。单氟磷酸钠是一种白色固体,饱和水溶液在25°C时含单氟磷酸钠42%。可从0°C水溶液中获得单氟磷酸钠十水合物,结晶水若用加热方式除去,则导致水
  • 北达科他北达科他州(英语:State of North Dakota),简称北达州,是美国中西部的一州。它是大草原里最北的一州,包含达科他地区的北半部。19世纪时,北达科塔被认为是美国旧西部的一部分。北达
  • 血糖水平血糖(英语:Blood sugar)是指血液中的葡萄糖。消化后的葡萄糖由小肠进入血液,并被运输到机体中的各个细胞,是细胞的主要能量来源。国际标准单位是毫摩尔/升(mmol/l)。美国采用毫克/
  • 印度滴漏咖啡印度滴漏咖啡(Indian filter coffee)是印度一种甜牛奶咖啡,在南印度特别风行,例如泰米尔纳德邦、卡纳塔克邦、安得拉邦。
  • 玛丽亚·德·梅黛洛玛丽亚·埃斯特维斯·德·梅黛洛·维多利诺·德·阿尔梅达(葡萄牙语:Maria Esteves de Medeiros Victorino de Almeida,1965年8月19日-),又称玛丽亚·德·梅黛洛(葡萄牙语:Maria de
  • 诉诸自然诉诸自然(英语:appeal to nature;拉丁语:argumentum ad naturam)是一种非形式谬误,为自然主义谬误。系主张某个现象很自然,因而是可取的;或主张某个现象不自然,因而是不可取的。这种
  • 干事长自由民主党干事长,是日本自由民主党执行部成员之一,相当于秘书长的职务,与总务会长、政务调查会长并称为辅助党总裁的“党三役”。是实际上的第二把手,尤其因为自民党总裁长期担
  • 猎官制猎官制(英语:spoils system),又称分赃制度,是以政治背景进行公职任命。特别盛行在已发展政党政治的19世纪的美国,因选举而政权政党轮替之际,不分中央、地方的公务员悉数变更为新政
  • 约翰·图恩约翰·伦道夫·图恩(英语:John Randolph Thune;1961年1月7日-),是一位美国共和党政治人物,自2005年成为南达科他州联邦参议院议员。此前,他是1997年到2003年美国众议院南达科他州单
  • 网络生命大百科网络生命大百科(英语:Encyclopedia of Life,缩写:EOL)是一个免费的在线协作百科全书,旨在记录所有生物的科学知识,由世界各地的专家和非专家的贡献编制。旨在为每个物种构建一个“