单子

✍ dations ◷ 2025-11-26 23:47:52 #计算机科学小作品,函数式编程

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

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

相关

  • 第三人称人称是与语言中的行为动作相关的话语角色。“妈妈喂宝宝吃饭”和“我喂你吃饭”,意思可能相同,但前者是用有词汇意义的名词来表示与“喂”相关的人的具体身份,后者才是用功能性
  • 黄帝三部针灸甲乙经《针灸甲乙经》,全名《黄帝三部鍼灸甲乙经》,是现存最早的一部针灸专书,(公元256-282 年)晋皇甫谧(士安)编辑整理《素问》、《针经》、《明堂孔穴针灸治要》,所编著而成。 全书共十
  • 胡仁宇胡仁宇(1931年7月20日-),生于上海,籍贯浙江江山,中国物理学家,中国工程物理研究院研究员,曾任该院副院长、院长。1952年毕业于清华大学物理系。1991年当选为中国科学院学部委员(院士)
  • 钠依赖型葡萄糖共同运输蛋白钠依赖型葡萄糖共同运输蛋白(Sodium-dependent glucose cotransporters,简称SGLT),为一类葡萄糖运输蛋白(英语:glucose transporter)。本类蛋白质可能会分布于小肠(SGLT1)以及肾元的
  • 以阿战争北大西洋公约组织中东战争,或称阿以战争,是指以色列立国后与埃及、叙利亚等周围阿拉伯国家所进行的五次大规模战争。冲突至今尚未平息。犹太人是一个源自古代近东地区的民族。
  • 生米镇生米镇,是中华人民共和国江西省南昌市红谷滩区下辖的一个乡镇级行政单位,“中国藠头之乡”就是指生米镇。在1950年代生米镇曾经是新建县的政府所在地。2012年1月11日,南昌市委
  • 整全观整全观, 或称 整体论(holism),主张一个系统(宇宙、人体等)中各部分为一有机之整,而不能割裂或分开来理解。根据此一观点,分析整体时若将其视作部分的总和,或将整体化约为分离的元素,
  • 乌德穆尔特共和国乌德穆尔特共和国(俄语:Удмуртская Республика,罗马化:Udmurtskaya respublika;乌德穆尔特语:Удмурт Элькун)位于东欧平原东部,是俄罗斯联邦主体之
  • 半闭后圆唇元音半闭后圆唇元音是母音的一种。用于部分口说语言当中。国际音标用以表示此音的符号为⟨o⟩;而X-SAMPA则以⟨o⟩代表此音。汉语普通话有此音,即注音符号中“ㄛ”及汉语拼音中“o
  • 德意志-奥地利共和国德意志-奥地利共和国(德语:Republik Deutschösterreich oder Deutsch-Österreich)是第一次世界大战结束、奥匈帝国解体后,其境内说德语的人所短暂建立的政权。其德语名Deutsch