单子（monad，也译单体）是函数式编程中的一种抽象数据类型，其特别之处在于，它是用来表示计算而不是数据的。在以函数式风格编写的程序中，单子可以用来组织包含有序操作的过程，或者用来定义任意的控制流（比如处理并发、异常、延续）。
单子的构造包括定义两个操作bind和return，还有一个必须满足若干性质的类型构造器M。
首页 >
单子
✍ dations ◷ 2025-11-23 20:12:34 #计算机科学小作品,函数式编程
相关
- 肌中央轴空病肌中央轴空病(central core disease (CCD)、central core myopathy)是一种遗传病，其会导致先天性肌肉病变，病理学上肌肉纤维中可发现有肌原纤维（英语：Myofibril）结构破坏的组成。
- 皮亚杰让·皮亚杰（法语：Jean Piaget，1896年8月9日－1980年9月16日），全名让·威廉·弗里兹·皮亚杰（法语：Jean William Fritz Piaget），瑞士人，是近代最有名的发展心理学家，同时也是哲学家。他的
- 三观三观可以指：
- SK电讯SK电讯（朝鲜语：SK텔레콤，或 에스케이텔레콤）是韩国的一家移动通讯运营商，母公司为SK集团。SK电讯前身为1984年成立的“韩国行动电信服务公司”（한국 이동 통신 서비스），为国营韩国电
- 前路话前路话，又称大田话，是闽语支大田片的一种方言，也是大田县的代表方言，流通于福建省三明市大田县的部分地区。前路话比较接近闽南语，其流通的地域包括均溪镇、上京镇、石牌镇、华兴
- 加布里埃尔·巴蒂斯图塔加布里埃尔·奥马尔·巴蒂斯图塔（Gabriel Omar Batistuta，1969年2月1日－）生于阿根廷圣菲省的雷孔基斯塔，阿根廷著名足球运动员，已退役。阿根廷足球传奇巨星之一。曾长时间效力于意
- 女歌手金奖“叱咤乐坛女歌手”是叱咤乐坛流行榜颁奖典礼每年的重点奖项，第一届即1988年起设立，至今共颁发93座，分为金、银、铜三个名次。此奖项赛果由全年叱咤903的播放率作依据，最后得出
- 科里尔百科全书《科里尔百科全书》（英语：Collier's Encyclopedia，全稱：Collier's Encyclopedia with Bibliography and Index）是英语世界著名的大型综合性百科全书之一，与《大美百科全书》、《大
- 玛丽·碧克馥玛丽·毕克馥（英语：Mary Pickford，1892年4月8日－1979年5月29日），加拿大电影演员，曾获得过奥斯卡最佳女主角奖和奥斯卡终身成就奖。她有很多昵称，如"美国甜心"（"America's Sweetheart"
- 联邦法院马来西亚联邦法院（英语：Federal Court of Malaysia；马来语：Mahkamah Persekutuan Malaysia）是马来西亚的最高终审法院，其所在地位于布城联邦直辖区的布城司法宫。联邦法院于1957年
