OCaml中如何将值提升到Writer Monad中？

你的核心问题是模块签名的密封抽象隐藏了Writer.t的底层实现：
你定义Writer模块时使用了module Writer : Monad的签名约束，这种写法会将Monad签名中没有明确暴露的实现细节完全对外部隐藏。OCaml会将'a Writer.t视为完全独立的抽象类型，外部代码无法得知它的底层就是'a * string的类型别名。

因此你直接传入的元组(x, "inc")只会被推断为普通的元组类型'a * 'b，和系统期望的'c Writer.t属于完全不兼容的类型，即使你手动加类型标注也无法生效——因为外部没有权限直接构造抽象的Writer.t类型值。

有两种常用的修复方式：

1. 将类型实现暴露给外部 #

修改模块的签名约束，明确暴露Writer.t的底层类型：

module Writer : Monad with type 'a t = 'a * string = struct
  type 'a t = 'a * string

  let return x = (x, "")

  let (>>=) m f =
    let (x, s1) = m in
    let (y, s2) = f x in
    (y, s1 ^ s2)
end

修改后你原来的代码就可以正常运行：

Writer.(>>=) (Writer.return 2) (fun x -> (x, "inc"));;

2. 新增模块内部的构造函数（更符合封装原则） #

不需要修改签名，直接在Writer模块内新增专用的构造函数，外部只能通过模块提供的函数构造Writer.t类型值：

module Writer : Monad = struct
  type 'a t = 'a * string

  let return x = (x, "")
  (* 新增构造函数，用于生成带日志的Writer值 *)
  let make x log = (x, log)
  (* 也可以新增Writer monad标准的tell函数，专门追加日志 *)
  let tell s = ((), s)

  let (>>=) m f =
    let (x, s1) = m in
    let (y, s2) = f x in
    (y, s1 ^ s2)
end

使用模块提供的函数构造值即可：

Writer.(>>=) (Writer.return 2) (fun x -> Writer.make x "inc");;

Monad的标准return函数就是用来将纯值提升到Monad上下文的通用方法，如果你需要额外携带日志，按照封装原则应当使用模块提供的专用构造函数，不要直接依赖底层类型的实现细节。

内容的提问来源于stack exchange，提问作者Tomek Dobrzynski