ppx_monad:OCaml 的 Monad 语法扩展

ppx_monad ppx_monad 是 OCaml 的 monad 语法扩展，它提供了两种主要的 monad 语法：干净但不完整的 Haskell 风格的 monad 语法和冗长但完整的 let monad 语法。 Haskell 风格的 monad 语法 要使用此语法，您需要使用[%monad ...]扩展名包装一个序列表达式（即e1; e2 ）。 [ % monad x < - [ 1 ; 2 ; 3 ]; y < - [ 3 ; 4 ; 5 ]; return (x + y) ] v <- e结合的一个monadic值e给一个变量v 。 与 Haskell monad 语法相比，有一个严重的限制，即不能在v的位置放置模式。 以下关键字也支持其正文中的序列表达式。 begin fun function match 顶层let (* begin *)