单子

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

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

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

相关

  • 肾乳头坏死肾乳头坏死(Renal papillary necrosis )是肾病变的一种形式、涉及肾乳头(renal papilla)坏死, 肾乳头这是由直小血管(vasa recta)所供应。肾乳头坏死敏锐地呈现了用肉眼血尿
  • 非特异性抑郁障碍非典型忧郁症(Atypical Depression)属于慢性忧郁症(轻郁症)与忧郁症的亚型。非典型忧郁症患者与抑郁型忧郁(Melancholic depression)患者不同,前者能体验正面事物带来的心情改善,而
  • 高分子化学高分子化学,(英语:Polymer chemistry)又称“聚合物化学”,是研究高分子的结构、合成和反应的科学,是化学的一个分支。通常高分子根据生成它单体的名称,如乙烯聚合生成的高分子称为
  • 曾祖父曾祖父母(英语:Great grandparents)是祖父的父亲母亲;又称爷爷的父亲母亲。自己则分别是曾祖父母的曾孙子或曾孙女。在北方地区习惯称呼曾祖父称为“太爷爷”,曾祖母为“太奶奶”
  • 2nd黄体制剂(英语:Progestin)是一种合成的孕激素,与孕酮有类似效果。Progestin的两种最重要用途为激素避孕(英语:Hormonal contraception)(独立或与雌激素一同使用)以及作为激素替代疗法
  • 王之垣王之垣(1527年-1604年),字尔式,号见峰,山东新城县(今桓台县新城镇)人。明代大臣。山东乡试第七名。嘉靖四十一年(1562年)壬戌科进士。授荆州府推官。历任刑科给事中、顺天府府尹、户部
  • BAe ATPBAe ATP是一款以HS 748为基础的飞机,载客量达64人,航程达1,180公里的短程客机。尽管ATP比较宁静和省油,但ATP竞争力不及对手,使ATP成为一款失败的产品,只生产了65架。1984年3月1
  • 陈 坚陈坚可以指:
  • 格雷迪格雷迪县(Grady County, Oklahoma)是美国奥克拉荷马州中南部的一个县。面积2,863平方公里。根据美国2000年人口普查,共有人口45,516人。县治奇克谢(Chickasha)。成立于1907年7月1
  • 格奥尔格·恩斯特·斯塔尔格奥尔格·恩斯特·斯塔尔(Georg Ernst Stahl,1659年10月22日-1734年5月24日),德国化学家、医生。燃素说和活力说创始人。斯塔尔生于安斯巴赫。在当地接受高中教育后,于1679年进入