主页 / coding / 问题 / 78163110
Accepted
Addem
Asked: 2024-03-15 03:51:37 +0800 CST

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

  • 772

我有以下文件：

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

主要.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

types

1 个回答

  1. Best Answer

    作为规范，函数类型'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 compare : t -> t -> int
  val to_string : t -> string
end
    • 1

相关问题