OCaml中的循环图

时间:2019-04-09 17:55:03

标签: ocaml lazy-evaluation recursive-datastructures

我正在尝试构造一个递归数据结构,但是我遇到了一些问题。我目前正在实现类型系统,并且正在尝试实现递归类型。因此,我想使用OCaml的类型构造函数来具有实际的无限类型结构,该结构可以递归。这是我的尝试,旨在尽最大可能将问题降到最低,而错误仍然存​​在。

module StringMap = Map.Make(String)

type ty = 
  | TyRecord of (ty StringMap.t)

let rec recursive_ty =
  let rec temp = lazy (
    TyRecord (StringMap.singleton "self" (Lazy.force temp))
  ) in
  Lazy.force temp

执行Exception: CamlinternalLazy.Undefined的表达式时发生错误recursive_ty

基本上,我正在尝试构造循环ty StringMap.t。我希望能够在不启用-rectypes 的情况下执行此操作,尤其是由于recursive_ty的类型不是递归的,因此它应该仅为ty。我知道以下工作正常:

type ty = 
  | TyRecord of (string * ty) list

let rec recursive_ty = TyRecord [("self", recursive_ty)]

但是我想使用StringMap来有效地搜索键。任何帮助将不胜感激。

1 个答案:

答案 0 :(得分:1)

您必须使构造函数变得懒惰,例如

type ty = TyRecord of ty StringMap.t Lazy.t
let rec t = TyRecord (lazy (StringMap.singleton "self" t));;

或者,您可以使用重击。