静的型と OO というものははじめから… - camlspotter’s blog

OO の方面から、「静的型とか別に役に立つとは思えない、静的型の人は頭おかしい」 とか関数型の方面から、「静的型が役に立たないなんてはずない OO の人は頭おかしい」 とか良く聞こえてくるんですが、ダックタイピング心理学 とかいう真に頭おかしい意見を無視できるとすると（無視できない量あるんですが）、まあ私にはどっちもわからんでもない、という話です。 型をゴミ箱に捨てておいてから、後でゴミ箱を漁るなら、型なんかいらない オブジェクトの静的型システムを大雑把にいうとまず upcast と downcast があります。 upcast はオブジェクトの静的型をそれが属するクラスからそのスーパークラスにを変えちまうこと、downcast はその逆、オブジェクトの静的型をそれが属するクラスから子クラスに変えちまうことです。サブクラスの物はスーパークラスとしても通用するはずですから upcast は失

[minamiyama1994]

ダウンキャストが出てくるコードってOOでも行儀が良くないってされることが多いような気がするのだが……普通virtualとか積極的に活用してうまい具合にダウンキャスト回避しね？

[mizchi]

わかるけどアップキャストしまくる人この記事読めないと思う

[yojik]

「静的型の人」とか「OOの人」とかいません。 (いるところにはいるのかも。。)

[mukaken]

"「静的型とか別に役に立つとは思えない、静的型の人は頭おかしい」「静的型が役に立たないなんてはずない OO の人は頭おかしい」"論争

[efcl]

アップキャストとダウンキャスト

[ruicc]

「型をゴミ箱に捨ててから後で漁る」という行為が出来てしまう言語とOCaml

[kazuhooku]

downcast書きまくる必要のあるプログラミング言語、とっくにGoneだと思ってました #ダジャレ

[murashit]

さすが感ある

[tsimo]

Java 1.4以前ならdowncastが必須だろうけど、それ以降は設計の問題のような。まあ、そもそもできてしまう時点でダメってことなんだろうけど。

[Magicant]

OO 言語でもちゃんと設計すればダウンキャスト無しでプログラムは書ける。ダウンキャストができる OO 言語はそもそも言語自体の設計が悪い。

[hakobe932]

いきおいある

[rryu]

ジェネリックなコレクションクラスのある今時の言語ではもはやdowncastを使う機会はないと思うのだが、どういう時に使うのだろうか。

[naokun776]

upcastし過ぎでしめやかに爆発四散!!まで読んだ。

[qtamaki]

downcastする男の人って

[you21979]

OO使うけどdowncastってキライ。いつも思うのだがインターフェイスでメソッドきめといてオブジェクトごとの振る舞いはそのなかでやってほしい

[tanakh]

(´･_･`)ついに来たか

[Isuzu_T]

注意書きを書くとかじゃなくフールプルーフにしないとアホはためらいなく自分の足を撃ちぬくという話．