我正在尝试构建一个递归数据结构,但我遇到了一些问题。我正在实现一个类型系统,我正在尝试实现递归类型。所以,我希望使用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
有效地搜索键。任何帮助将不胜感激。
你必须使构造函数变得懒惰,例如,
type ty = TyRecord of ty StringMap.t Lazy.t
let rec t = TyRecord (lazy (StringMap.singleton "self" t));;
或者,您可以使用thunk。