OCamlでバッテリーのDyn_arrayを使用する型を作成するにはどうすればよいですか？

StackOverflow https://stackoverflow.com/questions/1813020

  •  06-07-2019
  •  | 
  •  

質問

たとえば、このようなタイプを作成するとします（ Dyn_array ）：

type some_type = SomeConstructor of <Dyn_array of integers>

これを行う方法については少し迷っています。誰かが私に例を挙げて、これに頭を包むことができますか？

役に立ちましたか？

解決

問題は何ですか？構文？

中間型を使用してみましたか？

type my_dyn = Dyn_Array of int

type some_type = SomeConstructor of my_dyn

他のヒント

（バッテリーがインストールされていません）。 DynArray.tはすでに定義されています。自由変数の型を指定し、新しいコンストラクターを定義したくない（ X of y は、組み込み構文が違法であることは別として）、

type some_type = SomeConstructor of integers DynArray.t

DynArrayのタイプを解放したい場合は、

type 'a some_type = SomeConstructor of 'a DynArray.t
ライセンス： CC-BY-SA と 帰属
所属していません StackOverflow
scroll top