『型安全性と置換可能性を保証する唯一の方法は、入力に対しては A と同等かより寛容に、出力に対しては A と同等かより厳格に振る舞うことである。』

iwwiww のブックマーク 2016/03/04 18:09

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

共変性と反変性 (計算機科学) - Wikipedia

    この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。(2021年10月) 独自研究が含まれているお...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう