型について

Takuma SHIRAISHI @ts7i

某所で食らった「静的型付け言語も静的型付けに偏ったデザインパターンも今後は必要ない」とかいう嫌がらせ極論のナンセンスさを改めて実感。

都元ダイスケ🍅 @daisuke_m

むしろ nonvariant の方が co とか contra と似た世界の人。

Suguru ARAKAWA @ashigeru

@daisuke_m そだね＞同じ世界の人。「変わっていい方向性」としてco-, contra-, non- な感じなのかね。

koichik @koichik

@nagise その前に「オブジェクト指向入門」を読んでみては．これを読まずにブログ書いてたなんて信じられない．

都元ダイスケ🍅 @daisuke_m

(co-, contra-, non-) (in-, precondition, postcondition) これが、世界の棲み分け。

Suguru ARAKAWA @ashigeru

@daisuke_m Javaのメソッド引数はnon-variantだったよね。contra-variantの性質を持つものって何かあったかね

koichik @koichik

@nagise ブログうんぬんは一応ネタです． http://ow.ly/35pk3 とか．あと @wildcats0201 さんが読み終わるまで日記をプライベートにしたことがあったかな．

都元ダイスケ🍅 @daisuke_m

@ashigeru F1 = a -> b のaが T<? extends U> で、F1<:F2 だった場合、F2 = a' -> b' の a' が T<V> で、V:>U な感じ。 …ほら、素人に数式を与えるとこうなるんだ＞＜ 読めるようになっても書けないらしいｗｗｗ

なぎせ ゆうき @nagise

む。もう出かけなきゃ。きっと @daisuke_m がまとめてくれる

Suguru ARAKAWA @ashigeru

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

都元ダイスケ🍅 @daisuke_m

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

都元ダイスケ🍅 @daisuke_m

俺のイミフな数式が@ashigeru に伝わったようで勝手に感動しているナウ。

なぎせ ゆうき @nagise

@daisuke_m トゥギャッターで纏めてくれるだけでも有難いです

Suguru ARAKAWA @ashigeru

@daisuke_m いや、たぶんそのものは間違ってるとは思うぞｗ

都元ダイスケ🍅 @daisuke_m

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

都元ダイスケ🍅 @daisuke_m

@nagise 初とぃぎゃったーｗ

Suguru ARAKAWA @ashigeru

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

都元ダイスケ🍅 @daisuke_m

@ashigeru やっぱし？ｗ

Suguru ARAKAWA @ashigeru

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

都元ダイスケ🍅 @daisuke_m

「variantという単語から派生した色々な単語の整理」をトゥギャりました。 http://togetter.com/li/66427

都元ダイスケ🍅 @daisuke_m

@kyon_mm @PG_kura @nagise とりあえず。あとは適当に編集を。 http://tinyurl.com/2gy53vr

都元ダイスケ🍅 @daisuke_m

Togetter - 「variantという単語から派生した色々な単語の整理」 http://htn.to/Q7sv7T

都元ダイスケ🍅 @daisuke_m

合ってたらしい - しげるメモ http://htn.to/2DunQq

都元ダイスケ🍅 @daisuke_m

これはいいまとめ。 / Javaジェネリクス再入門 - プログラマーの脳みそ http://htn.to/74m2pg

Takuma SHIRAISHI @ts7i

かぶってるけどとりあえず両方お気に入りに追加した。『variantという単語から派生した色々な単語の整理』 http://togetter.com/li/66427 『型について』 http://togetter.com/li/66412