单子

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

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

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

相关

  • 采邑制采邑制是欧洲在封建时代,尤其是中世纪早期在西欧地区主要实施的一种土地占有制度。采邑制最初是查理·马特在担任法兰克王国的宫相期间(715年─741年)实施的。以前墨洛温王朝时
  • 规律规律,又叫法则,马克思主义对此范畴的定义及定性如下:规律是事物、现象和过程内在的、本质的必然的联系,具有客观性和普遍性,不依人的意志为转移,人们不能创造改变和消灭规律,只能认
  • 单配偶制单配偶制包含一夫一妻制,是指一种两两配对,每个个体只拥有单一配偶的关系,关系中两者一生中,或在生命中任何一个时间,只会与对方维持关系。单配偶制有别于多配偶制。单配偶制在动
  • Lathe center车床(Lathe),是一种将加工物固定在一旋转主轴上加工的机床。1797年英国人亨利·莫兹利发明了车床,通常用在圆柱型态的工件加工。一般车床配备各种专用刀具,可完成内外圆加工、钻
  • 杜蕾斯杜蕾斯(Durex)是全球知名的避孕套品牌,其英文名称取自Durability、Reliability及Excellence(即耐用、可靠与卓越),由利洁时制造,其产品具有超薄等减低因为穿上避孕套而减少性刺激的
  • 邓肯蒂莫西·西奥多·邓肯(英语:Timothy Theodore Duncan,1976年4月25日-),一般称为蒂姆·邓肯(Tim Duncan),绰号“大基本功”(The Big Fundamental)、“叮当肯”(Tinkle Can)、“石佛”、“T
  • 内布拉斯加州内布拉斯加州议会(英语:Nebraska Legislature)是美国内布拉斯加州的一院制议会。该州的一院制,使内布拉斯加州在美国各州中独树一帜;它拥有49名成员,也是美国所有州中最小的立法机
  • 1828年约翰·昆西·亚当斯 民主共和党安德鲁·杰克逊 民主党1828年美国总统选举充满了火药味。先前1824年的总统选举民主共和党发生内讧,一分为二。一派由当时的总统约翰·昆西·
  • 猫人沃尔特《猫人沃尔特》(The Secret Lives of Waldo Kitty),是一部70年代的美国动画片。
  • 国家地理林业信息研究所国家地理林业信息研究所(法语:Institut national de l’information géographique et forestière)是法国的一个公共管理机构,负责管理法国以及其海外属地的地理资讯。在2012年