記事へのコメント13

    • 人気コメント
    • 新着コメント
    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 リンク

    その他

    人気コメント算出アルゴリズムの一部にヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    関連記事

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

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

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

    • mizdra2021/02/28 mizdra
    • susisu2020/09/09 susisu
    • 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
    • lugecy2016/09/25 lugecy
    • 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/