module - OCamlアンバウンド変数

Question

OcamlでNFAを実装していますが、コンパイラがこの行でエラーを出します

module Nfa : NFA =
struct

type transition = int * char option * int
type nfa = int * int list * transition list

let make_nfa s fs ts = nfa (s, fs, ts);;

エラーは、コンパイラが言う最後の行にありますError: Unbound value nfa

何が問題なのかわかりません…ありがとうございます

score 3 · Accepted Answer

あなたはどこにもvaluenfaを宣言していません。あなたはtypenfaを宣言しただけです。

のように

type nfa_type = int * int list * transitian list
let nfa = ( 1, [ 1; 2; 3 ], [x;y] )

編集：私がjavascriptモードでタイプミスをお詫びします

score 3 · Accepted Answer

transitionおよびnfaはタプル型のシノニムであり、型コンストラクターではありません。make_nfaあなたがタイプになりたいと仮定するとint -> int list -> transition list -> nfa、それは単純になります

let make_nfa s fs ts = (s, fs, ts)

score 2 · Accepted Answer

nfaコンストラクタとして使用しようとしています。しかし、あなたの型nfaはコンストラクタを定義していません。タプル型のシノニムです。したがって、型の値はのようになります(3, [4], [])。

score 0 · Accepted Answer

他の人が言及しているように、nfaはタプル型の同義語（typedefのような）ですint * int list * transition list。

代数的データ型のコンストラクターのように使用したいようです。あなたがそれをしたいなら、あなたはこのようなことをするでしょう：

type nfa = Nfa of int * int list * transition list

let make_nfa s fs ts = Nfa (s, fs, ts)

しかし、この場合、コンストラクターが1つある代数的データ型は一種の無駄です。

module - OCamlアンバウンド変数

4 に答える 4

Related

Reference