3.12新機能

このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。

OCaml Version 3.12で導入された新機能のうち、重要なものについて解説します。

• local open
• Polymorphic recursion?
• First-class modules?
• New notations for record expressions
• Explicit naming of type variables
• Recovering the type of a module?
• Substituting inside a signature?
• Explicit overriding in class definitions?