单子

✍ dations ◷ 2025-11-26 10:25:46 #计算机科学小作品,函数式编程

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

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

相关

  • 印度苦楝树Melia azadirachta L. Antelaea azadirachta (L.) Adelb.印度苦楝树(英语:Azadirachta indica),又称印度楝树、印度蒜楝、印度假苦楝、宁树(英语:Neem)、印度紫丁香(Indian lilac),楝
  • 德国足球协会德国足球协会(德语:Deutscher Fußball-Bund,简称DFB),乃德国足球界的官方机构,掌管德国所有足球事宜,包括管理各级别联赛、国家队等等,总部设于法兰克福,属欧洲足联和国际足联会员。
  • 国际收支各地国际收支列表列出世界上各经济体的国际收支数字,此统计数字反映的是一国一定时期内全部涉外经济交易的总和,为总体经济重要指标之一,常用来做为经济政策和业务决策的参考。
  • tachycardia心跳过速(tachycardia、tachyarrhythmia),也称心动过速、心跳过快。是指心跳速度超出了正常范围,达到每分钟一百次以上的现象。剧烈的体育运动、紧张、焦虑或服用某些药物等可能
  • 白灼虾白灼虾,是中国粤菜中的一种。采用鲜虾为原料,经过“白灼”技法烹制,然后蘸酱油、蒜汁食用,特点是味鲜、肉懒,保持了虾的原味。海水虾性温湿、味甘咸,入肾、脾经;虾肉有补肾壮阳,通乳
  • 本宁阿尔卑斯山脉本宁阿尔卑斯山脉(意大利语:Alpi Pennine;德语:Walliser Alpen;法语:Alpes valaisannes;英语:Pennine Alps),又称瓦莱阿尔卑斯山脉,是欧洲的阿尔卑斯山脉西南部的一段,位于瑞士(瓦莱州)和
  • 亚洲地区八纮一宇是大日本帝国第二次世界大战时期的国家格言,日本政府宣传部门的解释是天下一家、世界大同的意思,但在当时的氛围下,实质上是服务军方的侵略扩张政策,从军备、政治体制、
  • 智力商数智能商数(德语:Intelligenzquotient),简称智商(德语:IQ),是用智力测试测量人在其年龄段的认知能力(“智力”)的得分。人的智商呈正态分布,目前主要的智力测验(包含最常被使用的“韦克斯
  • 忻州市忻州市是中华人民共和国山西省下辖的地级市,位于山西省中北部,黄河东岸。市境北临朔州市、大同市与内蒙古自治区呼和浩特市,东界河北省石家庄市、保定市,南连吕梁市、太原市、阳
  • 美国东部时间北美东部时区(North American Eastern Time Zone),或称美国东部时间(The Eastern Time Zone,ET),主要包括北美东海岸和南美西海岸,其标准时间(EST)为UTC-5,夏令时间(EDT)为UTC-4。此外,以