TypeScript における変性（variance）について - 30歳からのプログラミング

プログラミングの型システムに関する記事を読んでいると、共変や反変といった用語が出てくることがある。 TypeScript や Flow についての記事でも、見かけることがある。 それらは TypeScript を使う上で必須の知識ではないが、把握しておくに越したことはない。 この記事では、TypeScript を題材にして、変性について説明していく。 TypeScript に関する議論を理解できるようになることがこの記事の目的であり、より詳細な、学術的、数学的な内容には踏み込まない。 この記事の内容は、TypeScript のv3.9.5で動作確認している。 変性 変性（variance）とは、任意の型Tに対してどのような性質を持つのか示したものであり、以下の 4 種類がある。 不変性（invariance） Tそのものが必要 共変性（covariance） Tそのものか、そのサブタイプが

[yuya_presto]

説明がわかりやすい。strictFunctionTypes: trueは「共変」と書かれてるけど「反変」が正しいです。

[Itisango]

“変性（variance）とは、任意の型Tに対してどのような性質を持つのか示したものであり、以下の 4 種類がある。 不変性（invariance）共変性（covariance）反変性（contravariance）双変性”

[mizdra]

分かりやすい

[yoshiko_pg]

オブジェクト・配列・関数の返り値は共変、関数の引数は反変

[tasshi820]

なるほど、strictFunctionTypesをfalseにすると関数のパラメータが双変になり実行時エラーの原因になる

[cuttoff19]

この人なんで無職なんだろう

[efcl]

TypeScriptの型の性質の話