单子

✍ dations ◷ 2025-11-24 21:12:29 #计算机科学小作品,函数式编程

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

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

相关

  • 词义对词义(word sense)最简单的解释就是词的含义或意义。它是人们对一个词所称呼的事物、现象、关系的概括认识。词义的语言功能,就是确定词和所称呼的事物之间的联系。词义还具有
  • 媒体研究媒体研究(Media studies)是种学术性的研究探讨及资料收集,研究各种媒体的内容、历史、意义及影响。媒体研究学者以研究大众传播主题的理论及方法,包含媒体在政治、社会、经济及
  • 时代周报《时代周报》(德语原名:DIE ZEIT)是德国的一份跨区域发行的周报(德语:Wochenzeitung),报社总部设在汉堡。首次发行于1946年2月21日。1996年7月1日之后,时代周报和时代出版社(德语:Zeit
  • 氟他胺氟他胺(英语:Flutamide),是口服的非类固醇类抗雄性激素药品,主要用于治疗前列腺癌。它会跟睾酮和其活性代谢产物双氢睾酮(DHT)竞争存在摄护腺内的雄性激素受体,借由这个作用抑制摄护
  • 高雄端高雄端为中华民国(台湾)中山高速公路的终点,位于台湾高雄市凤山区、前镇区,指标为372~374k。2015年3月31日,国道1号终点高雄端往南衔接之高雄市中山四路高架桥(原属市区道路),并同“
  • 记忆术记忆术(英语:Mnemonic)又译助忆,是一种辅助记忆的方法,例如诗、韵文或是图像。人们在日常生活中经常使用缩写、口诀来记忆一些复杂的内容。例如,学生在学习眼球的解剖结构的时候会
  • 战马战马是人类用于战斗的马。人类使用马匹战斗已有超过5000年的历史。骑马作战的最早证据可追溯至公元前4000年至前3000年的欧亚大陆。到了前1600年,经改进的马具及两轮无篷马车
  • 奥地利行政区划奥地利行政区划中设有9个邦,其中下奥地利、克恩滕、施蒂利亚、蒂罗尔和萨尔茨堡州自中世纪已存在,1780年代约瑟夫二世设立上奥地利州。福拉尔贝格在1861年成立前,属于蒂罗尔州
  • 海斯坐标:51°04′18″N 1°05′02″E / 51.0716°N 1.084°E / 51.0716; 1.084海斯(Hythe)是位于英格兰肯特郡南海岸的一个城市。在2011年时,海斯有人口14,516人。许皓翔
  • 简单知识组织系统简单知识组织系统(Simple Knowledge Organization System,SKOS),是目前正在发展的简单知识组织描述语言,以RDF Schema设计方式来展现与分享控制的词汇。其可提供一些社群以一种机