应用函子时是什么导致这种类型不匹配？

Question

我有以下文件：

SetMaker.mli

module type Element = sig
  type t
  val create : 'a -> t
  val compare : t -> t -> int
  val to_string : t -> string
end

module type Set = sig
  type t
  val empty : unit -> t
end

module Make (M : Element) : Set with type t = (M.t list)

SetMaker.ml

module type Element = sig
  type t
  val create : 'a -> t
  val compare : t -> t -> int
  val to_string : t -> string
end

module type Set = sig
  type t
  val empty : unit -> t
end

module Make (M:Element) = struct
  type t = M.t list
  let empty () = []
end

main.ml

open Mylib

module IntEl : SetMaker.Element with type t = int = struct 
  type t = int
  let create (x:int) : t = x
  let compare x y = 
    if x < y then -1
    else if x = y then 0 
    else 1
  let to_string = string_of_int 
end
;;

我认为其中一些可能比它必须的更详细，但我只是尝试抛出额外的声明只是为了看看它是否不能解决问题或者可能在错误消息中提供更多信息。事实上，在一个相关问题（OCaml Type Mismatch Error with Functor-Based Dictionary Insertion）中，放置额外的类型声明解决了该问题，但在这里似乎没有解决它。

当我尝试编译时出现错误

Error: Signature mismatch:
       ...
       Values do not match:
         val create : t -> t
       is not included in
         val create : 'a -> t
       The type t -> t is not compatible with the type 'a -> t
       Type t is not compatible with type 'a 
       File "lib/SetMaker.mli", line 3, characters 2-22: Expected declaration
       File "bin/main.ml", line 5, characters 6-12: Actual declaration

我对此感到非常困惑，因为我认为

'a

应该是一个类型变量，它与一致使用的任何类型兼容。所以我认为

'a

可能属于

t

类型，无论该类型是什么。

Answer 1

作为规范，函数类型

'a -> t

表明该函数接受任何类型

'a

的参数并返回

t

。

这种类型的唯一值是忽略第一个参数的函数，可以重写为

let f _ = g ()

对于某些功能

g

。 例如：

module M: sig
  val f : 'a -> int 
  val f': 'a -> int
end = struct
  let f _ = 0
  let r = ref 2
  let f' _ = incr r; !r
end

在更高级别，

Set

模块可能不需要知道如何创建新元素，因此从

create

模块类型中删除未指定的函数

Element

可能更简单。

module type Element = sig
  type t
  val create : 'a -> t
  val compare : t -> t -> int
  val to_string : t -> string
end