OCamlで複数のパラメーターを持つ型を作成するにはどうすればよいですか？

Question

複数の型パラメーターを持つ型を作成しようとしています。 1つのパラメーターで型を作成する方法を知っています：

type 'a foo = 'a * int

ただし、「int」部分をパラメーター化するには、2つのパラメーターが必要です。どうすればいいですか？

Answer 1

これを行う方法は次のとおりです。

type ('a, 'b) foo = 'a * 'b

型パラメーターはカリー化されないため、タプル形式で単一パラメーターとして提供する必要があります。これの良い例はHashtblモジュールです：

type ('a, 'b) t 

     

タイプ 'aのハッシュテーブルのタイプ   「b」と入力します。

Answer 2

＃type（ 'a、' b）couple = 'a *' b ;;

たとえば...