单子

✍ dations ◷ 2025-12-05 04:20:37 #计算机科学小作品,函数式编程

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

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

相关

  • 旋毛虫病旋毛虫病(Trichinosis)是指因旋毛虫(属于线虫动物门)感染所引起的寄生虫疾病。人体在感染后旋毛虫侵入肠胃道,故会产生腹痛、腹泻及呕吐等症状;约一星期后虫体会侵犯至肌肉,导致脸
  • 蓝精灵 (消歧义)蓝精灵可指:
  • CB有机硼或有机硼化合物是一类硼烷BH3的有机衍生物,如:三烷基硼烷。有机硼化学或有机硼烷化学是研究这类化合物的化学。 在有机化学中,有机硼化合物因其多种变化而被广泛应用,其中
  • 地心引力地球引力或地球重力是因地球本身的质量-地球质量而自然具有的引力。地球表面重力加速度的表示符号为g,近似地等于每平方秒9.8米或每平方秒32英尺,意即当忽略空气阻力时,一物体在
  • 无始无始无明,佛教术语。无明可分两种:一念无明、无始无明。“无始无明”,是指对法界实相如来藏的智慧一无所知,因而直接或间接影响众生不能成就般若智慧功德与解脱生死,以及究竟圆满
  • 因河因河(德语:Inn)是流经瑞士、奥地利和德国的一条河,它是多瑙河的支流,全长517公里。因河发源于瑞士阿尔卑斯山,朝着东北方向流入奥地利,过了蒂罗尔州及其首府因斯布鲁克后又折向东,沿
  • 稗说体散文稗说,也称稗说体,是高丽后期出现的类似笔记类的文学体裁。高丽时期的稗说主要是围绕诗人、诗句,记述逸闻趣事,传说,期间夹杂着作者的评论,也记述有关文、赋、对联、酒令等其它文学
  • 托马斯·斯特恩斯·艾略特托马斯·斯特恩斯·艾略特,OM(Thomas Stearns Eliot,1888年9月26日-1965年1月4日),美国英国诗人、评论家、剧作家,其作品对二十世纪乃至今日的文学史上影响极为深远。1948年,60岁的
  • 搜狐娱乐搜狐(NASDAQ:SOHU),是一家互联网中文门户网站。1995年,搜狐创始人张朝阳从美国麻省理工学院毕业回到中国,利用风险投资创建了爱特信信息技术有限公司,1998年正式推出搜狐网。2000年
  • 尼古拉斯·卡岑巴赫尼古拉斯·德贝尔维尔·卡岑巴赫(Nicholas deBelleville Katzenbach,1922年1月17日-2012年5月8日),美国律师、政治家,美国民主党人,曾任美国司法部长(1965年-1966年)。卡岑巴赫出生于