单子

✍ dations ◷ 2025-04-27 05:07:09 #计算机科学小作品,函数式编程

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

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

相关

  • 秦国秦国是春秋战国时期诸侯国,嬴姓,赵氏。《史记•秦本纪》据为秦人所自述历史。据被盗掘后抢救回来的清华简《系年》的第三章所载,周初三监之乱平定后,蜚廉“东逃于商奄国。成王伐
  • 乌得勒支省乌得勒支省(荷兰语:Provincie Utrecht)是荷兰面积最小的省份,位于荷兰的中心,北临埃姆湖(Eemmeer),南与海尔德兰省接壤,其南为莱茵河,其西为南荷兰省,其西北紧邻北荷兰省。该省是国际标
  • 组合城市组合城市(conurbation),又叫“集合都市”,是指多个邻接的都市随着都市规模的发展,跨过行政区划的界限发展为一个都市区的状态。这一概念由帕德里克·杰德斯在1915年提出。随着工
  • 胡夫胡夫(希腊语中称之为在基奥普斯, Χέοψ, Cheops;曼涅托王表中称之为苏菲斯,Σοῦφις, Suphis)是埃及古王国时期的一位法老。他的统治期从公元前2589年至公元前2566年,是埃
  • 图特摩斯二世图特摩斯二世 (英语文献中一般写作:Thutmose II,?—约公元前1479年)古埃及第十八王朝法老(约公元前1492年—约公元前1479年在位)。图特摩斯二世是法老图特摩斯一世与其庶妻姆特诺弗
  • 脊椎关节炎脊椎关节病变(英语:spondyloarthropathy,缩写为 SpA)泛指任何影响脊椎关节的关节病变,它是一大类疾病的集合总称,而非单一个特定疾病。脊椎病变则是脊椎骨本身的问题,两者并不相同
  • 沃金坐标:51°18′58″N 0°33′40″W / 51.3162°N 0.561°W / 51.3162; -0.561沃金(英语:Woking)是英国萨里郡西部的一个市镇,位于同名的非都市区内。它距离伦敦市中心(查令十字)37公
  • 戊申顺化屠杀戊申顺化屠杀,是越南战争中1968年1月30日开始的“春节攻势”期间,越南南方民族解放阵线和北越军队在顺化战役对平民的大规模屠杀。被杀的平民包括男人、女人、儿童与婴儿。事
  • 顶点 (曲线)在描述曲线时,顶点是指该曲线上曲率相对于附近其他点的极值,更正式地,在几何学中会将曲线中曲率的一阶导数为零的点称为曲线上的顶点:570:126,而这个点通常会是曲线中的区域极值
  • 科学博物馆 (波士顿)科学博物馆(英语:Museum of Science),位于波士顿。美国较早的科学技术博物馆,创立于1830年。陈列品包括岩石、矿石、植物、动物标本、火箭和人造卫星模型以及医学、电学和其他学