为什么 OCaml 中的模块类型注释会导致此代码无法编译？

互联网行业动态更新时间:2024-06-13 00:19:06

Jef*_*eld 5

这种注解严格限制了模块的接口。所以在我看来，添加注释后，关于地图的键类型的唯一已知信息如下所示Map.OrderedType：

module type OrderedType =
    sig type t val pare : t -> t -> int end

除了t它存在并且它出现在pare. 换句话说，您隐藏了类型t（也称为IntMap.key）与int.

您可以使用以下方法重新介绍这一事实with：

module Int : Map.OrderedType with type t = int = struct
    type t = int
    let pare a b = a - b
end

更多推荐

注释,模块,类型,代码,OCaml

本文发布于:2023-04-20 20:31:21，感谢您对本站的认可！

注释模块类型代码 OCaml

评论列表（有 0 条评论）