单子

✍ dations ◷ 2025-11-30 11:00:28 #计算机科学小作品,函数式编程

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

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

相关

  • 歧义谬误歧义谬误是由于语言歧义导致无效推理的现象,是一种言词谬误。歧义是一个字词或语句可理解为多种意思的现象。歧义容易造成误解与误会,比如某甲用某语句想表达 A 意思,某乙却理
  • 周士渊周士渊(1983年11月16日-),生涯都效力于裕隆纳智捷篮球队,主要位置是得分后卫,因其罚球稳健出色,故有优质射手的头衔。高中时与吴永仁、李奇勋、庄晓文、田垒合称“三民五虎”。周士
  • 新加坡港新加坡港,位于新加坡南部沿海,是世界上第二繁忙的港口,仅次于上海港。该港扼太平洋及印度洋之间的航运要道,战略地位十分重要。主要工业以电子电器、炼油及船舶修造为三大支柱部
  • 疏水效应疏水效应(英语:Hydrophobic effect)又称疏水性效应,属于非极性分子的一种性质,会使这些分子在水溶液中具有自我聚集(self-associate)的特性。例如油在水中会呈现与水分离的现象。此
  • 巴黎地理学会巴黎地理学会(Société de Géographie)是一家总部位于法国巴黎的地理学的学会,是世界上历史最古老的地理学学会,设立于1821年。自1878年开始,总部就位于巴黎圣日耳曼大街184号
  • 补给线补给线泛指军事上运输军队所需一切有形物资及兵力从后方到前线的交通路线,可能是海上、陆上、航空的形式,也常作为后送伤兵和撤军时的路线,若此线被敌军得知并有效切断而前线物
  • 阿什金阿瑟·阿什金(英语:Arthur Ashkin,1922年9月2日-),美国物理学家,在贝尔实验室和朗讯工作,2018年诺贝尔物理学奖得主。他在1960年代后期开始研究使用激光操纵微观粒子,于1986年发明光
  • 海象大西洋海象O. r. rosmarus 太平洋海象O. r. divergens海象(学名:Odobenus rosmarus)是海象属唯一的物种,属食肉目海象科,是一种鳍足类。海象科史前有几个属,但目前仅存一属一种。
  • 财务管理财务管理(英语:Financial Management)是对组织内的资金需要及资金筹措提供可能性的调整活动。在英文中,有时也叫Finance。但是,和金融不同,财务管理注重公司的资金需求和筹措、资
  • 反正切反正切(arctangent、 arctan {\displaystyle \arctan } 、arctg、 tan −