单子

✍ dations ◷ 2025-10-10 13:21:31 #计算机科学小作品,函数式编程

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

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

相关

  • 杀外寄生虫药外寄生物感染是指主要由外寄生物引起的寄生虫病。外寄生物即暂时或永久寄生于宿主体表的寄生物。例如:治疗外寄生物感染常使用杀外寄生虫药(英语:ectoparasiticide),以杀死外寄生
  • 光波光通常指的是人类眼睛可以见的电磁波(可见光),视知觉就是对于可见光的知觉。可见光只是电磁波谱上的某一段频谱,一般是定义为波长介于400至700奈(纳)米(nm)之间的电磁波,也就是波长比
  • 万神殿坐标:41°53′54″N 12°28′36″E / 41.89833°N 12.47667°E / 41.89833; 12.47667万神庙(意大利语:Pantheon),又译万神殿、潘提翁神殿,位于今意大利罗马,古罗马时期的宗教建筑,后
  • 粉防己碱粉防己碱是一种双苄基异喹啉生物碱,是一种钙通道阻滞剂。具有抗炎,免疫和抗过敏作用,抑制肥大细胞的脱粒。 它具有“类奎尼丁”的抗心律失常作用。已可从粉防己和其他中草药中
  • 希腊法拉沛咖啡希腊法拉沛咖啡(Frappé coffee)是一种冰咖啡,咖啡的上面覆盖着奶泡,有时还会加入冰块,适合在夏季饮用。
  • 雅罗斯拉夫尔火车头冰球队雅罗斯拉夫尔冰球队(俄语:ХК Локомотив, 英语:Locomotive HC),也称为雅罗斯拉夫尔火车头,是一支参加大陆冰球联盟的职业冰球队,俄罗斯全国铁路运营机构俄罗斯铁路(РЖ
  • 明德大学蒙特雷国际研究学院明德大学蒙特雷国际研究学院(Middlebury Institute of International Studies at Monterey),2015年1月之前原称蒙特雷国际研究学院(Monterey Institute of International Studie
  • 立方阿米体积(英语:Volume)是物件占有多少空间的量。体积的国际单位制是立方米。一件固体物件的体积是一个数值用以形容该物件在空间所占有的空间。一维空间物件(如线)及二维空间物件(如正
  • 吉尔伯特镇吉尔伯特(英语:Gilbert)是美国亚利桑那州马里科帕县的一个镇,2000年人口109,697人,2006年人口191,517人。是美国人口最多的镇级单位,在北美洲排名第二。‡该聚居地有部分隶属其他
  • 丁丙诺啡/纳洛酮丁丙诺啡/纳洛酮(Buprenorphine/naloxone),会以舒倍生(Suboxone)之类的药品名称贩售,是由丁丙诺啡及纳洛酮组成的复方药物(英语:combination medication),此药物是用来治疗鸦片物质依