单子

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

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

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

相关

  • 航天记录这是一份航天记录的列表。这里的大部分记录都与载人航天有关,但是少数无人航天和载犬航天也被包括在这个列表里。男性:瓦列里·波利亚科夫 , 1992年1月8日, 437.7天, 这个记录
  • 德国大学德国的大学包括有博士学位授予权的综合性大学(Universität)、无博士学位授予权的应用科技学院(Fachhochschule)和艺术类院校,按办学性质可分为公立、私立和教会学校。以下是德国
  • 台湾高雄地方法院高雄市前金区河东路188号 高雄简易庭 :高雄市前金区河东路188号 凤山简易庭 :台湾高雄地方法院,简称高雄地方法院、高雄地院或雄院,是中华民国的地方法院之一,位于台湾高雄市,属
  • 恒星日通常认为,恒星日(Sidereal Day)是地球上某点对某个恒星连续两次经过其上中天的时间间隔。地球自转的恒星周期,是指在天文学上以恒星为标准量度地球自转的周期,因为恒星通常被假设
  • 襄平襄平城是中国东北历史上第一个国家燕国的军事要塞。襄平城是前284年左右兴建的燕长城的东部堡垒,本为东胡、山戎与箕子朝鲜的重要城市。燕昭王时,有燕将秦开,在东胡作为燕国的
  • 直皇后直皇后(?-?),昂果都理巴颜系喜塔腊氏出身,清兴祖福满之妻。直皇后是昂果都理巴颜长子都理金都督的孙女,都理古都督的女儿。在入关之前,家族得到了太祖和太宗两代的特别尊重,委任与他们
  • 奥普拉·温弗里奥普拉·盖尔·温弗里(英语:Oprah Gail Winfrey,1954年1月29日-),生于美国密西西比州,美国电视脱口秀主持人、制作人、投资家、慈善家及演员,美国最具影响力的非洲裔名人之一,时代百
  • 让-巴普蒂斯·贝西埃尔让-巴普蒂斯·贝西埃尔(Jean Baptiste Bessières,1768年8月6日-1813年5月1日),法国军人、拿破仑麾下的元帅、帝国近卫军司令,获封伊斯特利亚公爵。贝西埃尔出生于法国南部卡赫尔
  • 生果列表生果列表以种(Species)为基本单位,列举者原则为主要生食,且:花托膨大成假果的腰果以及干果类,或豆类,或坚果类之植物果实,则不在本表之列。以下各生果以其种或属之汉语拼音排列。
  • 艾西瓦娅·雷艾丝维亚·雷(英语:Aishwarya Rai,印地语:ऐश्वर्या राय,1973年11月1日-);婚后冠夫姓为:艾丝维亚·雷·巴克罕(Aishwarya Rai Bachchan)是著名的印度女演员、模特儿及世界小