单子

✍ dations ◷ 2025-07-02 10:20:49 #计算机科学小作品,函数式编程

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

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

相关

  • La5d1 6s22, 8, 18, 18, 9, 2蒸气压第一:538.1 kJ·mol−1 第二:1067 kJ·mol−1 第三:1850.3 kJ·mol主条目:镧的同位素镧,是一种化学元素,元素符号为La,原子序数为57。是一种柔
  • 西克索斯人喜克索斯人(Hyksos),意为“外来者”,是指古代西亚的一个部族联盟,喜克索斯也译希克索。他们于前17世纪进入埃及东部并在那里建立了第十五和第十六王朝(约前1674年至前1548年)。他们
  • 战役列表这是战役列表的主条目。亦可参见战役列表 (字母顺序)。
  • 林爽文林爽文(1756年-1788年),清代福建省台湾府彰化县大里杙(今台中市大里区)人,原籍福建漳州平和。台湾清治时期重大民变林爽文事件的领导人。1773年随其父亲渡海来台,定居彰化县大里杙庄
  • 武宁县武宁县是中国江西省九江市所辖的一个县。全县经济以农业为主,工业初具规模。是国家级生态示范区。建县于唐长安四年(704年)。县城因修柘林水库已迁至新宁镇,修河、武宁河绕城而
  • 杜丽杜丽(1982年3月5日-),中国女子射击运动员,山东淄博沂源人,2004年雅典奥运会首金获得者和2008年北京奥运会50米运动步枪三姿冠军。其丈夫是奥运冠军庞伟。2016年8月12日,宣布退役,不
  • 道士道士一词,在古代可以指的是一般学道、务道之士,是学道之人的泛称,并非完全指向道教的信徒。在宋朝以后,道士逐渐成为道教神职人员的专有名词。初步统计,截至2011年,中国大陆有道士
  • 诺贝尔文学奖得主列表诺贝尔文学奖(瑞典语:Nobelpriset i litteratur,英语:Nobel laureates in Literature)是1895年按照阿尔弗雷德·诺贝尔的遗嘱设立的5个奖项之一,由瑞典学院每年颁发给在文学领域做
  • 肩胛上切迹肩胛上切迹(Suprascapular notch)位于肩胛骨上缘,位于喙突(英语:coracoid process)的内侧。肩胛上切迹的上侧会被肩胛上横韧带(英语:superior transverse scapular ligament)封住,形成
  • 熊本城熊本城(日语:熊本城)位于日本熊本县熊本市中央区。别称银杏城(日语:銀杏城)。日本三大名城之一。前身是室町时代阿苏家的隈本城加以改建而成,安土桃山时代丰臣政权入主肥后国后,此城