bn:00225797n
Noun Concept
Categories: ポリモーフィズム (計算機科学), 型理論, 圏論, オブジェクト指向
JA
共変性と反変性
JA
(コンピュータプログラミングの型システムでの)共変性と反変性(きょうへんせいとはんぺんせい、covariance and contravariance)とは、データコンテナのサブタイプ関係が、そのデータ要素のサブタイプ関係に連動して定義されるという概念を指す。 Wikipedia
English:
computer science
Definitions
Relations
Sources
JA
(コンピュータプログラミングの型システムでの)共変性と反変性(きょうへんせいとはんぺんせい、covariance and contravariance)とは、データコンテナのサブタイプ関係が、そのデータ要素のサブタイプ関係に連動して定義されるという概念を指す。 Wikipedia