variantという単語から派生した色々な単語の整理

都元ダイスケ🍅 @daisuke_m

要はメソッドの引数が T<? extends U> だったら、そのサブクラスが T<V> になってもいいのがcontravariantだったりすんじゃないのかしらかしらかしら。。。なんか@nagise から無茶振りがきているｗｗ これ、ニワカでまとめるのつらいぜよｗ

Suguru ARAKAWA @ashigeru

@daisuke_m そか。イレイジャ揃えながらという前提つきだけど、一応反変なのねｗ ちょっと手元でも試してみまっす。あざす

Suguru ARAKAWA @ashigeru

@daisuke_m まぁ、ワイルドカードをふくむ型のサブタイピングについては手前味噌だけど http://d.hatena.ne.jp/ashigeru/20080204/1202129657 この辺を。

Suguru ARAKAWA @ashigeru

@daisuke_m うーん、やっぱりイレイジャだけじゃなくて全部揃えないとだめぽな感じだった。なんだろう

都元ダイスケ🍅 @daisuke_m

で、variant型の反対語ってなんかあるんかな。っていうか、俺、どこでvariant型なんていう単語と触れ合ったんだろう？