OCaml - 为什么不是 Monad

如何解决OCaml - 为什么不是 Monad

我是 OCaml 的新手，但与 Rust、Haskell 等合作过，当我尝试在 bind 上实现 Either 时感到非常惊讶，而且似乎没有任何的一般实现已实现 bind。

• JaneStreet 的 Base 是 missing it
• 我假设的标准库是 missing it

bind 是我接触的第一个函数......甚至在 match 之前，实现似乎很简单：

let bind_either (m: ('e,'a) Either.t) (f: 'a -> ('e,'b) Either.t): ('e,'b) Either.t =
  match m with
  | Right r -> f r
  | Left l -> Left l

我错过了什么吗？

解决方法

这是因为我们更喜欢更具体的 Result.t，它对 ok 状态和异常状态有明确的名称。而且，一般来说，Either.t 在 OCaml 程序员中并不像通常那样非常流行，可以使用更专业的类型和变体名称，以便更好地传达任一分支的域特定目的。还值得一提的是，Either 最近才被引入 OCaml 标准，只是 4.12，所以它可能会变得更受欢迎。

,

正如@ivg 所提到的，Either 对于标准库来说相对较新，通常人们更喜欢使用更有意义的类型。例如，Result 用于错误处理。 还有另一种观点，也适用于 Result。 Monad 作用于由一种类型参数化的类型。 在 Haskell 中，这不太明显，因为可以部分应用类型构造函数。因此; bind:: (a -> b) -> Either a -> Either b 允许您从 Either a c 转到 Either b c。

在尝试通过参数化模块（术语的 ML 意义上的函子）来概括 monad 的行为时，必须“欺骗”自己进行标准化，例如，option 的处理（a arity 1) 和 either (或 result) 的类型，它们属于 arity 2。

有几种方法。例如，表达多个接口来描述一个 monad。例如描述 Monad2 和用 Monad 描述 Monad2，就像在 Base 库 (https://ocaml.janestreet.com/ocaml-core/latest/doc/base/Base/Monad/index.html) 中所做的那样

在 Preface 中，我们使用了一种相当不同（可能不太通用）的方法。我们让用户来设置Either的左参数（通过函子）（以及Result的右参数）：https://github.com/xvw/preface/blob/master/lib/preface_stdlib/either.mli

然而，我们并没有失去改变左边计算类型的能力，因为Either还有一个Bifunctor模块，允许我们改变两个参数的类型。此线程中对对话进行了广泛描述：https://discuss.ocaml.org/t/instance-modules-for-more-parametrized-types/5356/2