読者です 読者をやめる 読者になる 読者になる

osiire’s blog

ふしぎなそふとやさん

private abbreviation type

3.11のChangesには、

  • Introduction of private abbreviation types "type t = private ",

for abstracting the actual manifest type in type abbreviations.

と書いてある。意味は今までのprivate typesと同じなんじゃないかなー。private指定された型は、パターンマッチとかは出来るけど作れない。今までは直接的にコンストラクタかレコードの場合のみサポートだったけど、拡張されたみたいな。

[追記]see http://d.hatena.ne.jp/camlspotter/20081027/1225076108