OCaml 特定的 Hashtbl 类型

Posted

技术标签:

【中文标题】OCaml 特定的 Hashtbl 类型【英文标题】:OCaml specific Hashtbl type 【发布时间】:2014-04-01 02:37:20 【问题描述】:

这可能是一个愚蠢的问题,但我想定义一个这样的类型:

type bla = Bla of (string, bla) Hashtbl

但是,无论我做什么,它都会给我一个解析错误。本质上,我希望Bla 持有 哈希表再次从stringbla。我到底做错了什么?

【问题讨论】:

【参考方案1】:

Hashtbl 是一个模块。它定义的(非函数)类型是('a, 'b) Hashtbl.t

# type bla = Bla of (string, bla) Hashtbl.t;;
type bla = Bla of (string, bla) Hashtbl.t

【讨论】:

以上是关于OCaml 特定的 Hashtbl 类型的主要内容,如果未能解决你的问题,请参考以下文章

OCaml 中的依赖类型

OCaml 用户定义类型和函数返回错误

Ocaml 类型不匹配?预期单位,但为已定义类型

Ocaml:在参数类型中使用记录和变体

ocaml 类型的问题

OCaml 类型推断不会产生函数参数的预期类型