>ハロウィンリリースらしい。気をつけろ!
>
>特徴になっている private row ってなんじゃらほい、と思って
>スライド
>を見てみた。
>
>んーと、 Polymorphic Variant であるような型の定義をシグネチャに含めてしまうと、外部のプログラムが意図しないかたちで勝手に値を構成してしまうかもしれないし、かといって隠蔽してしまうとパターンマッチができなかったり拡張できなかったりして意味がないので、値を構成するところだけはモジュールの内部に隠蔽する(というか、モジュール外で構成した値とは型の不一致になる)というもの、という理解でよいのかな?
>