单子

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

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

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

相关

  • 赵玉芬赵玉芬(1948年-),河南淇县人,中华人民共和国化学家、政治人物,全国政协委员,全国青联原副主席,中国化学会理事,世界科学院院士,中国科学院院士。她当选中国科学院院士时是当时最年轻的
  • 地对空导弹红旗-9(HQ-9)是中国的一种远程地对空导弹,海军版称为“海红旗-9”,外销版为“FD-2000”(“FD”为“防盾”二字的拼音首字母),反辐射导弹版本为“FT-2000”(飞腾)。这款导弹的改进型号
  • 桂枝汤桂枝汤出自张仲景的《伤寒杂病论》,为主治太阳病中风之方剂。现代中医用来治疗感冒、流感、风湿、头痛等。桂枝汤由5味药材组成:桂枝、芍药、炙甘草、生姜、大枣。桂枝性味辛
  • 专业人士专业人士,通称专家、学者,即职场上的专门行业,指具备专业化知识及技能的职业人士。通常,专业技能须符合科学原理,经过长时间的学习及训练,并有经专业认证的考试获得的合格证书或执
  • 尼古西亚塞浦路斯239,277  北塞浦路斯71,078 310,355(总计)尼科西亚(希腊语:Λευκωσία、土耳其语:Lefkoşa),是塞浦路斯共和国及北塞浦路斯土耳其共和国的首都,也同时为塞浦路斯岛
  • 壬午事変“壬午兵变”,又名“壬午军乱”,日本称之为“壬午事变”、“朝鲜事变”,是发生在1882年朝鲜王朝的一次政变。云岘君(兴宣大院君)发动兵变,掌握政权,然而不久之后即被清朝朝鲜事务大
  • 蒙特雷绰号:历史的摇篮(The Cradle of History)、 世界语言之都(• 密度 1,402人/平方公里(3,630人/平方英里)时区 PST(UTC-8) • 夏时制 PDT(UTC-7)美国邮政编码 93940电话区号 831(英语
  • 弗里德兰法军决定性胜利弗里德兰战役(1807年6月14日)是拿破仑战争中一场重要战役,交战双方为由法兰西帝国皇帝拿破仑带领的法军以及由俄罗斯帝国的本尼格森伯爵所带领的俄军。战役发生
  • 同质异形体同质异形体(polymorph),又称同质异晶物,是指由化学组成相同的物质,在不同的物理化学条件下形成的不同结构的晶体。相应地,称这种物质具有同质异晶现象(polymorphism)。同质异形体由
  • 汉族地区佛教全国重点寺院本条目所列为源自1983年4月9日中华人民共和国国务院批转《国务院宗教事务局关于确定汉族地区佛道教全国重点寺观的报告》,附件所列中国汉族地区佛教全国重点寺院名单,均为中国