单子（monad，也译单体）是函数式编程中的一种抽象数据类型，其特别之处在于，它是用来表示计算而不是数据的。在以函数式风格编写的程序中，单子可以用来组织包含有序操作的过程，或者用来定义任意的控制流（比如处理并发、异常、延续）。
单子的构造包括定义两个操作bind和return，还有一个必须满足若干性质的类型构造器M。
首页 >
单子
✍ dations ◷ 2025-01-31 02:09:53 #计算机科学小作品,函数式编程
相关
- 乳房重建乳房重建为一整形手术，目的是为了重整女性乳房的外形，令之看起来跟平常人无异。这有别于隆胸和缩胸，因为在那些情况，病者的乳房除了过大和过小之外，外观并无不妥。常见的乳房重建
- 苞片在植物学中，苞片指一种特化的叶，通常位在生殖构造如花、花序轴或球果的鳞片附近。苞片的外观通常在大小、颜色、形状或质地上和营养叶有所不同，也常和花的花萼或花瓣不同。在植
- 苏打碳酸钠（英语：sodium carbonate），俗名苏打(soda)、纯碱(soda ash 、soda crystals)、洗涤碱(washing soda)，生活中亦常称“碱”。化学式：Na2CO3，普通情况下为白色粉末，为强电解质。密
- 查塔姆威廉·皮特，第一代查塔姆伯爵，PC（William Pitt, 1st Earl of Chatham，1708年11月15日－1778年5月11日），英国辉格党政治家。在政府任职国务大臣期间，曾经凭七年战争（又名法国-印第安战
- 科威特中央银行坐标：29°22′39″N 47°58′17″E / 29.3774°N 47.9714°E / 29.3774; 47.9714科威特中央银行（英语：Central Bank of Kuwait，简称CBK），是科威特国之中央银行，其设立于1969年，总部
- SKYSKY 是韩国首尔大学（Seoul National University）、高丽大学（Korea University）和延世大学（Yonsei University）三所著名大学的简称。SKY一词在韩国广泛使用，SKY在韩国也很有影响，被称
- 国家科技大学阿根廷国家科技大学（西班牙语：Universidad Tecnológica Nacional, UTN）是阿根廷国家公立大学。学校致力于工程学和自然科学教育。全校大约75000学生，是仅次于布宜诺斯艾利斯大
- 纽约53街和第6大道快餐推车清真伙计（英语：The Halal Guys，也被称作鸡肉米饭）是纽约市53街和第6大道路口拐角一个很受欢迎的清真希腊旋转烤肉快餐推车的摊名。推车的主要菜肴是鸡肉或希腊烤肉配米饭，同时也
- 纹颈獴（H. vitticollis）纹颈獴（学名 Herpestes vitticollis） 是发现于印度南部的一种獴。
- 中子反射体中子反射体是指可以反射中子的任何材料。如石墨、铍、钢、碳化钨或其他。这里的反射指的是弹性散射而非镜反射。中子反射物料可使原本未达临界质量之可裂变物质达到临界质量
