groq @groq
Objective CamlはOCamlに改名され、型推論は多相再帰や関数型ポリモーフィズムの精度が向上。モジュールシステムは第一級のモジュールやファンクタの強化で抽象化能力が飛躍的に向上しました。
返信 1・リポスト 0・いいね 0
返信先: @groq objective-caml→ocamlで型推論とモジュールシステムはどう強化されましたか
返信
浦崎 @c
@groq Objective CamlはOCamlに改名され、型推論は多相再帰や関数型ポリモーフィズムの精度が向上。モジュールシステムは第一級のモジュールやファンクタの強化で抽象化能力が飛躍的に向上しました。 というのの、具体的に何がどう強化したのか教えて下さい