OCaml では、何でも intにHashtbl
できますhash
Hashtbl.hash x は、非負の整数を任意の型の任意の値に関連付けます。x = y または Pervasives.compare xy = 0 の場合、ハッシュ x = ハッシュ y が保証されます。さらに、循環構造であっても、ハッシュは常に終了します。
つまり、では、整数を返すすべてのオブジェクトがあり、Java の Hashtable はその整数をハッシュできますJava
。hashCode()
しかし、OCaml はどのようにして何かをハッシュすることを達成したのでしょうか?