Invariance、（不変性）、Covariance（共変性）, Contravariance（反変性）, Bivariance（双変性）について

概要 TypeScriptのstrictFunctionTypesのコンパイラオプションについて調べていたら Covariance, Contravariance, Bivarianceという概念が出てきた。よくわからないのでまとめてみる。 クラスの親子関係に基づく、関数パラメータの性質を定義するものである…