この記事は F# Advent Calendar 2017 - Qiita 10日目の記事です。 F#でレコードを使う場合に、型の不変条件を強制したい場合があったので調べました。 例 : Triangle 型 例えば、以下のような辺の長さ a, b , c を持つ三角形を表すレコードがあったとします…