2019年8月20日 kenjimorita もりたけんじ おい「covariance is a higher order type’s trait of preserving subtyping relation of the component types.」 おい「covariance is a higher order type’s trait of preserving subtyping relation of the component types.」 何言っているんだ君は 共分散は、コンポーネントタイプのサブタイピング関係を維持する高次タイプの特性です。 共分散は、コンポーネントタイプのサブタイピング関係を維持する高次タイプの特性です。 何言っているかわからない英語を日本語に訳したんだよわたしは 何言っているんだ君は