たなかこういちの開発ノート

システム開発に携わる筆者が、あれこれアウトプットするブログ

2017-09-05から1日間の記事一覧

データ制約に統一され得る、型、契約、バリデーション

◆まとめ◆ プログラミング言語では「型」がドメインモデルを表現する重要ツールである。一方、モデリング観点からはデータ値に対する制約こそがある意味本質で、(主にNominal Subtypingが想定されるところの)型も制約の一手段なのだと気付く。 制約一般を型…