单子

✍ dations ◷ 2025-10-29 18:27:01 #计算机科学小作品,函数式编程

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

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

相关

  • 在解剖学上,脚踝(拼音:jiǎo huái),或称踝关节是人类足部与腿相连的部位,组成包括7块跗骨加上足部的跖骨和小腿的骨骼。
  • Random House兰登书屋(英语:Random House)是德国媒体集团贝塔斯曼旗下的一家出版社,总部设在美国纽约市。书屋于1927年成立,创始人是贝内特·瑟夫(Bennett Cerf)和唐纳德·克洛普弗(Donald Klopf
  • 5α还原酶5α还原酶(英语:5-alpha reductase)是类固醇在人体的代谢过程里所需要的一种酶,可分为一型及二型两种。头发毛囊的5α还原酶可以被非那斯特莱抑制,使双氢睾酮的浓度降低。这是由
  • 财团法人财团法人(foundation)是一具有法人资格的“财产的集合体”,由捐助人捐助一定数额的财产,并经一定法定程序而成立之法人团体。中华民国依据2018年立法院通过《财团法人法》,视创立
  • 千克力千克力,又称公斤力,公斤重,是重力米制中力的基本单位,符号kgf(kilogram-force)、kp(kilopond),kgw(kilogram-weight,用于日本与台湾),是1千克质量的物体在9.80665m/s2的重力场(地球的平均
  • CVN-75 哈里·S·杜鲁门号哈利·S·杜鲁门号航空母舰(USS Harry S. Truman CVN-75),或直接称杜鲁门号航空母舰,是美国海军尼米兹级核动力航空母舰的八号舰,1993年11月29日在纽波特纽斯造船及船坞公司铺设
  • 频分多路复用频分多路复用(Frequency-division multiplexing,FDM),也叫分频多任务,是一种将多路基带信号调制到不同频率载波上再进行叠加形成一个复合信号的多路复用技术。历史上,电话网络曾使
  • 芥末酱芥末酱,也称芥末、芥辣或芥辣酱,芥末酱为一种芥末色稠状物,具有强烈鲜明的味道,由芥菜类蔬菜的籽研磨掺水、醋或酒类调制而成,亦会添加香料或是其它添加剂藉以增香或是增色,如添加
  • 环物种环物种(英语:Ring species)是指生物学中一个物种因地理区隔(如湖泊、山岳、峡谷)等因素而沿着该区隔繁衍产生多个亚种,各相邻亚种之间有着连续性的基因变化,当此一连续亚种之首尾物
  • 安博因港安博因港是西非国家安哥拉的城市,由南广萨省负责管辖,是位于该国西部大西洋沿岸的港口,建城于1923年,面积4,638平方公里,市内有机场设施,人口约66,000。