单子

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

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

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

相关

  • 葡萄胎葡萄胎也称水泡状胎、水泡状胎块(Hydatidiform Mole) 是一种异常的人类妊娠,系由着床但未成功发育的受精卵所造成。因其特征为胎盘绒毛间质水肿,形成透明或半透明的薄壁水泡,形似
  • 维生素K维生素K是指具萘醌基的衍生物2-甲萘醌,是人类的维生素,具疏水性。它是一些特定蛋白质转译后所必需的,尤其是血液凝固中必备的蛋白质。维生素K2(甲萘醌(Menaquinone)和四烯甲萘醌
  • 安的列斯群岛安的列斯群岛(英语:Antilles;法语:Antilles;西班牙语:Antillas;荷兰语:Antillen)在南美、北美两大陆之间,包括西印度群岛的大部分,为美洲加勒比海中的群岛。安的列斯群岛由两组岛群所组
  • 亚精胺像是亚精胺这样的多胺,为聚阳离子脂肪胺且含有许多功能。对于细胞的存活有重要的影响。亚精胺会同步一些生物的过程(像是Ca2+, Na+, K+ -ATPase),也可以保持膜电位并控制细胞
  • 冥通银行阴间银行是指汉字文化圈民间信仰中位于阴间的银行,发行冥钞,并为先人提供存款、借款等金融业务。常见名称有冥界银行、天地银行等。冥钞上一般会印上这银行的名称而近年纸扎祭
  • 代码在通信和信息处理中,代码(code)是指一套转换信息的规则系统,例如将一个字母、单词、声音、图像或手势转换为另一种形式或表达,有时还会缩短或加密以便通过某种信道或存储媒体通信
  • θ̠清齿龈擦音(voiceless alveolar fricative)是辅音的一种。和此音对应的国际音标符号会因为此音是否有咝音还是无咝音而有所改变:清齿龈有咝音的特征:现代标准汉语(标准官话)中有此
  • 乌莎斯乌莎斯(उषः;uṣás-),梵语中曙光、黎明之意,吠陀教时代登场的提毗神祇(乌莎斯有时亦会被想像成多个复数体存在),梨俱吠陀1028首赞美诗中就有20首是献给她的。她是天父神特尤斯的
  • 新田义贞新田 义贞(日语:にった よしさだ、正安2年(1300年)顷 - 延元3年/建武5年闰7月2日(1338年8月17日)),幼名为小太郎,正式名为源义贞。为镰仓幕府末期-南北朝时期之名将,河内源氏一族,新田
  • 劳特里奇劳特里奇(英语:Routledge,/ˈraʊtlɪdʒ/)是一家英国跨国出版商,由乔治·劳特里奇(英语:George Routledge)正式创办于1851年,专注于学术书籍、期刊以及在线资源出版服务,主要涉及社会