- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
361 :デフォルトの名無しさん[sage]:2015/12/21(月) 01:48:05.01 ID:B3EXamn3 - 正直に白状するが、Javaは静的型付け言語としては貧弱で、たぶんSmallTalkerから見たらOOPの機能も貧弱。
nullはあるわisInstanceOfはあるわ後方互換性のせいで汚いメソッドがあるわで、潔癖な人にはおすすめできん。 現在に至るまでの資産が無ければ触りたくもならんです。 自分はML系の型システムでようやく静的型付けの有り難みが分かるようになった。
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
419 :デフォルトの名無しさん[sage]:2015/12/21(月) 19:55:46.35 ID:B3EXamn3 - OCamlをやるんだ。
JavaやC#じゃ法螺扱いされる「コンパイルが通ればランタイムで型に関するエラーは起きない」世界が待ってるぞ。
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
439 :デフォルトの名無しさん[sage]:2015/12/21(月) 21:16:44.57 ID:B3EXamn3 - まずどの動的型付け言語について喋っているのか言及しなよ。
実行時で型に関するエラーが起きないってのは、起きないよう注意を払ってプログラムを書くことができる、じゃなくて、 原理的に起こせない、っていう意味で言ったんだけど、分かる? やたらと例外とエラーを別物にしたいみたいだけど、そんなはっきり区別して扱っている界隈ってあるの? 全然メジャーな使い分けじゃないからちょっと説明してよ。 「例外を投げる動作は言語仕様通りだから、wikipediaでいうところの型安全」っていうは、 関数型言語に言及している中での型安全より遥かに低いレベルの安全性であることは分かってる? 全体的に卑怯者だよ。「ボク間違った言葉遣いしてないもん!」以外全部間違っているよ。
|