OCAML 将定义的类型与定义混淆了吗？

Question

我正在做一项作业，将正则表达式转换为 NFA，并在 OCAML 中将 NFA 转换为 DFA。我一直在单独的文件中编写我的代码，以便单独测试每个 "function"，但是我在使用 as-pattern 时遇到了问题。

NFA 定义：

(* Imports not shown. *)

let sidx = ref 0
let new_state() = sidx := !sidx + 1; !sidx

type state = int
type states = state BatSet.t 
type delta = (state * alphabet, state BatSet.t) BatMap.t 
type e_delta = (state, state BatSet.t) BatMap.t
type final = state BatSet.t
type init = state

(* ... *)

type t = states * delta * e_delta * init * final 

(* create a new NFA with a single start state *)
let create_new_nfa () = 
   let is = new_state () in
      (BatSet.singleton is, BatMap.empty, BatMap.empty, is, BatSet.empty)

(* ... More Function(s) Not Shown.*)

当我自己编译下面的代码时（即我不使用 make 文件，而是手动输入编译命令输入），我没有遇到任何问题，它的工作方式也和预期的一样：

let regex2nfa : Regex.t -> Nfa.t
=fun regex ->
        let ((state, delta, e_delta, init, final) as nfa) = Nfa.create_new_nfa () in (*Line 9*)
        nfa

但是当我使用他们的 make 文件时，它会抱怨如下：

这没有任何意义。 Nfa.t 是类型：

'a * 'b * 'c * 'd * 'e

如其声明所示：

type t = states * delta * e_delta * init * final

如果我取出那个元组并将名称“nfa”分配给 create_new_nfa 函数的输出，然后它编译就好了，但到底为什么会这样？

作为参考，可以找到 make 文件 here

Answer 1

Nfa.t 在 nfa.mli 中作为 abstract type 公开，因此在 Nfa 模块之外你不能假设它是一个 5 元组。您的 as-模式正是这样做的，这就是它被拒绝的原因。

（错误消息肯定会更有帮助。）

抽象类型是 OCaml 中的一种信息隐藏功能，允许模块的作者防止第三方代码依赖其实现的细节。

等等，为什么你的代码在顶层编译？我不确定，但我怀疑你做了类似 #useing nfa.ml 的事情，这会绕过 nfa.mli 并允许你对 Nfa.t 的内部结构做出假设类型。

OCAML 将定义的类型与定义混淆了吗？

OCAML confuses defined type with definition?

ocaml

types

typing

as-pattern