契約による設計と名前による型づけ, およびオブジェクトの不変性 - 貳佰伍拾陸夜日記

契約による設計と名前による型づけ 最近, 社内で契約による設計の話が雑談として何度か出ていて, id:hakobe932さんが社内勉強会で紹介していたり, id:shiba_yu36さんがWEB+DB PRESSでSmart::Argsで制約をチェックする記事を書いていたり, 活発な議論になっている. インスタンスのファクトリメソッドとオプショナルな型を組み合わせると事前・事後条件を満たすことが保証できて, id:hakobe932さんの資料で言うところの「要求型」と「保護型」の区別も明確になってよいという話を書こうかとおもっていた. (これはそのうち別で書く.) とはいえ, こんな話はもう言っている人がいるだろうと思ってちょっと調べていて, どういう語句で調べたらいいか考えていた. インスタンスの型からそれを生成したファクトリメソッドが特定できて, それによって事前・事後条件が保証される

[kmizushima]

これって構造的部分型だったら防げないかといったらそういうわけでなく、シグニチャの集合（＋契約）に名前を付けて、型名として扱えれば問題ない気もするんだよな（nominalとstructuralのハイブリッドかもしれない）

[Peranikov]

“OOPにおいて研究者は歴史的に構造的部分型(structural subtyping)こそ至高という感じでやってきた” まじで

[umai_bow]

知らない言葉が多い

[efcl]

structural subtypingだと意図しない一致があるという話。 名前による部分型(nominal subtyping)

[terazzo]

型はシグネチャであるだけではなくコントラクトのお気持ち表明でもある(強制力はあまりない)

[Nnwww]

nominalなら不変条件が乗せられ、イミュータブルなら条件のバリエーション間を遷移させるのに都合が良いという話…こうなるとオブジェクトという仕組み自体再考したくなる

[pmint]

表明(assert)できるならどっちでもいい。表明のしやすさを比較したほうが文脈に合っているのでは。どこにも書いてないことを想定されるのは別問題。/ 不変オブジェクトは型の話と合わない、実装上の最適化の話。

[key_amb]

まだ噛み砕けてないんだけど、面白い話題で、興味深い。

[progrhyme]

まだ噛み砕けてないんだけど、面白い話題で、興味深い。

[katzchang]

振る舞いも含めて「型」として扱おうとする静的型付けOOP界の限界では

[civitaspo]

http://ift.tt/2cnJXes

[shiba_yu36]

名前による型システムと構造による型システムの話がおもしろい

[hakobe932]

nominal と structural な型付けなるほど