单子

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

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

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

相关

  • 嵌合抗原受体T细胞嵌合抗原受体T细胞(英语:Chimeric antigen receptor T cell,缩写:CAR T cell)是一种经基因改造的T细胞。它具有人工T细胞受体。嵌合抗原受体则是一种经生物工程改造的蛋白,它可以
  • 便当盒饭是指使用盒子盛装饭菜或面条等各种食物以便于携带的盒装餐食,主要流行于亚洲以稻米作为主食的地区。“便当”一词最早源于南宋时期的俗语,意思是“便利的东西、方便、顺利
  • 广西平话广西平话是中国广西、广东、湖南、云南部分地区的若干类方言的笼统称谓。分南部平话(桂南平话)和北部平话(桂北平话)两大类。桂南平话内部比较一致,具有某些粤语特征,与粤语勾漏片
  • 赵 仑赵钥,字阆仙,山东莱阳县人,清朝政治人物。顺治十五年(1658年)戊戌科进士,官至太常寺少卿。工诗,有《因树屋集》。
  • 单身男女2《单身男女2》(英文:Don't Go Breaking My Heart 2)是由寰亚电影2013年投资出品,银河映像制作的《单身男女》系列的第二部。 由古天乐、杨千嬅、高圆圆、周渝民及吴彦祖领衔主演
  • 大沽河大沽河是位于中国山东省东部的河流,是胶东半岛最大的河流,20世纪80年代开辟为青岛市主要的城市供水水源地。发源于招远市阜山,流经莱西市、平度市、青岛市即墨区、胶州市、城阳
  • 胶东地区胶东半岛,简称胶东,古为东夷地区。狭义指中国山东省境内胶莱河以东地区,包括烟台、威海全部和青岛的东部,是山东半岛的主要部分,北面与辽东半岛隔渤海湾相望。而泛胶东地理文明圈
  • 夏山学校夏山学校(英语:Summerhill School)位于英国英格兰萨福克郡,一所民主学校,另类学校,以生活公约和自主学习取代威权体制教育中的校规。完全不由成人安排任何课程,一切的教育以学习者
  • 天体震动天体震动指天体表面的震动,通常是因为突然释放的能量以地震波的形式传送,其程度可能十分剧烈。它以震动的主体分类,如地震、月震等。发生于地球的地壳震动为地震,成因主要是板块
  • 杉木属杉木属(学名:)是柏科下的一个属,为常绿乔木植物。该属现存有杉木()一种,与其的变种台湾杉木( var. ),分布于越南和中国秦岭以南及台湾。