Bivarianceという概念が出てきた。わからないのでまとめてみる。クラスの親子関係に基づく、関数パラメータの性質を定義するものである。次の記事を大いに参考させていただいた。medium.com今回の例まずは次のようなクラスをセットアップする。{}このクラスに対応する関数をそれぞれの性質に基づいて定義する。関数は、子クラスも親クラスも受け付けない。(該当クラスのみ受け付ける。子クラスを受けつける。親クラスは受け付けない。親クラスを受けつける。子クラスは受け付けない。親クラスも子クラスも受け付ける。Bivarianceである。strictFunctionTypesというコンパイルオプションをtrueにすると、コンパイル時にVivarianceではなくContravarianceでチェックしてくれるようになる。(プログラミングの型のシステム上、関数のパラメータの性質はContravarianceの方が健全である。月別アーカイブ著書はてなブログをはじめよう!pco2699さんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。