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

2016/09/27 リスト

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

2016/09/23 リスト

umai_bow umai_bow 知らない言葉が多い

2016/09/22 リスト

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

2016/09/22 リスト

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

2016/09/22 リスト

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

2016/09/22 リスト

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

2016/09/22 リスト

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

2016/09/21 リスト

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

2016/09/21 リスト

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

2016/09/21 リスト

civitaspo civitaspo http://ift.tt/2cnJXes

2016/09/21 リスト

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

2016/09/21 リスト

hakobe932 hakobe932 nominal と structural な型付けなるほど

2016/09/21 リスト

関連記事

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

契約による設計名前による型づけ 最近, 社内で契約による設計の話が雑談として何度か出ていて, id:hak...

ブックマークしたユーザー

  • moqada2017/01/23 moqada
  • ohnishiakira2016/10/04 ohnishiakira
  • Sixeight2016/09/28 Sixeight
  • atm_09_td2016/09/28 atm_09_td
  • polamjag2016/09/28 polamjag
  • Nagise2016/09/27 Nagise
  • gomi_ningen2016/09/27 gomi_ningen
  • kmizushima2016/09/27 kmizushima
  • kamemoge2016/09/27 kamemoge
  • lugecy2016/09/25 lugecy
  • sibukixxx2016/09/24 sibukixxx
  • gin06062016/09/24 gin0606
  • dorayakikun2016/09/24 dorayakikun
  • you219792016/09/23 you21979
  • Peranikov2016/09/23 Peranikov
  • masaki-ken-yamada2016/09/23 masaki-ken-yamada
  • nishitki2016/09/23 nishitki
  • nekocatgo2016/09/23 nekocatgo
すべてのユーザーの
詳細を表示します

いま人気の記事

いま人気の記事 - テクノロジー

新着記事 - テクノロジー

同じサイトの新着

オペレータが入力されたら相対行番号を表示 - 貳佰伍拾陸夜日記

2 users https://tarao.hatenablog.com/

スマートポインタのつくりかた - 貳佰伍拾陸夜日記

26 users https://tarao.hatenablog.com/