单子

✍ dations ◷ 2025-12-10 02:05:47 #计算机科学小作品,函数式编程

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

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

相关

  • DNA重复生物细胞中的DNA序列里面包含许多重复序列(repeated sequence),主要可分为两大类,分别是串联重复序列(也叫串接重复序列,Tandem repeat)与散在重复序列(Interspersed repeat)。 串联
  • .re.re为法国海外领地留尼汪国家及地区顶级域(ccTLD)的域名。A .ac .ad .ae .af .ag .ai .al .am .ao .aq .ar .as .at .au .aw .ax .az   B .ba .bb .bd .be .bf .bg .bh .b
  • 木鞋木鞋是鞋子的一种形式,也称为木屐,其中有许多也是凉鞋。是某些地区的传统文化之一,有时被当作艺术品,例如荷兰木鞋、日本的下驮等。中国传统的木屐,现在仍穿于如广东西部农村等偏
  • 武力武装力量(英语:Armed forces)意为在政府支持下,一个国家拥有武器与兵力的组织性力量。武装力量与军队(military)经常被认为是同义词,但严格意义上来说,这两者间仍有所不同:武装力量除
  • 创业公司初创企业(英语:Startup Company)或者创业(英语:Startup)是勇于探索可重复和可扩展性商业模式的一家公司,一个合作伙伴或者暂时成立的组织。这些公司,一般新建的,是处于商业发展和市场
  • 量子网络量子网络(英语:quantum network),是指在多个通信节点间,利用量子密钥分发进行安全通信的网络。各节点间产生的量子密钥可以对传统的语音、图像以及数字多媒体等通信数据进行加密
  • 黄土汤黄土汤,出自《伤寒杂病论》。
  • 北爱荷华大学北艾奥瓦大学(University of Northern Iowa,缩写:UNI)是一所位于美国艾奥瓦州雪松瀑布的公立大学。它是一所地区性大学,学生80%以上均来自艾奥瓦州州内,2019年《美国新闻与世界报
  • 新加坡海峡新加坡海峡(英语:Singapore Strait),又称狮城海峡,为马六甲海峡的一部分,在新加坡及马来西亚柔佛州以南和印度尼西亚廖内群岛以北,是一道水上航道走廊,连接了西面的马六甲海峡和东面
  • 基督救世主主教座堂 (莫斯科)基督救世主主教座堂(俄语:Храм Христа Спасителя)是位于俄罗斯首都莫斯科的东正教教堂,为莫斯科及全俄罗斯牧首的座堂,是世界上最高的东正教教堂,也是最大的东