Pythonの型ヒントと共変性(covariance)と反変性(contravariance)、変性(variance) - k.dev

Pythonの型ヒントと共変性(covariance)と反変性(contravariance)、変性(variance) はじめに Pythonだけでなくジェネリクスを持つ型システムを保有するプログラミング言語を触ると共変と反変という概念が出てくる。 これは型の表現力を最大限上げつつ同時に実行時にエラーを起こさないための機能である。 一方これはジェネリクスの上に乗っかっている複雑な概念であるためそもそもの理解が難しかったり、メリットが感じづらい。 この記事では共変と反変を含む変性(variance)についてどのような機能なのか、何が嬉しいのかを解説する。 前提となるジェネリクスとその課題 ジェネリクスの仕組み そもそもジェネリクスとはデータ型を表現する型の一部を変数化する機能である。 変数化することによって具体的な型ごとにコードを書く手間が省けるなどのメリットが有る。 例えばPythonで

[kane-please]

python 共変性