单子

✍ dations ◷ 2024-09-20 06:04:07 #计算机科学小作品,函数式编程

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

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

相关

  • 虚拟局域网虚拟局域网(Virtual Local Area Network或简写VLAN, V-LAN)是一种建构于局域网交换技术(LAN Switch)的网络管理的技术,网管人员可以借此透过控制交换机有效分派出入局域网的报文
  • 热水热水可以指:
  • 新星新星是一种白矮星,是激变变星的一类,其吸积在表面的氢发生剧烈爆炸。它们原本都很暗,难以被发现,突然爆发增亮,被认为是新产生的恒星,因此而得名。新星按光度下降速度分为快新星(NA
  • 断袖男子同性间的情欲,自中国很早以来就有所纪录,称之为男色或男风。古代中国的史书即传有“美男破老、美女破舌”的说法,将美男与女色相提并论,用以劝谏君王离美色远谗言。在春秋战
  • 惠蒂尔学院惠蒂尔学院(Whittier College)是位于美国加利福尼亚州洛杉矶县惠蒂尔的一所私立文理学院,2015年《美国新闻与世界报道》将其排在全美文理学院中的第133位。 该大学创立于1887年
  • 贝特西·德沃斯伊丽莎白·“贝琪”·德沃斯(英语:Elisabeth "Betsy" DeVos;1958年1月8日-),本姓普林斯(英语:Prince),是美国密歇根州一名政治人物、富豪、商人、慈善家和教育活动家,现任美国教育部长
  • 国家原则《国家原则》(马来语:Rukunegara 或 Rukun Negara)是马来西亚的建国理念,是马来西亚政府对513事件的官方回应,于1970年国庆日 宣读。这份宣言由敦阿都拉萨领导的国家咨询理事会(Ma
  • 平移在仿射几何,平移(translation)是将物件的每点向同一方向移动相同距离。它是等距同构,是仿射空间中仿射变换的一种。它可以视为将同一个向量加到每点上,或将坐标系统的中心移动所
  • 无为 (道家)道家系列条目无为指经过有为的思考,以时势、趋势的判断做出顺势而为的行为,即顺应自然的变化规律,使事物保持其天然的本性而不人为做作,从而达到“无为而无不为”的境界。是中国
  • 磷酸铋磷酸铋是一种无机化合物,化学式为BiPO4。磷酸铋可由硝酸铋和磷酸二氢钠反应得到。