- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
414 ：デフォルトの名無しさん[sage]：2015/12/21(月) 18:43:03.63 ID:mofV3EhK - > しかしホントーに"静的言語なら〜"って言ってる奴って
> 『プログラムは自分の身内で組んだもので完結する』前提なのな。
そんな前提に立てるものを教えてほしいぐらいなんだが（笑）
他人が使るものを使うからこそ、決められたインターフェースを守り
それらを動的に書き換えないようにするんだよ。
勝手にクラスとか書き換えたら動作保証ないからな。
バージョンアップしたらすぐに動かなくなる。
自分で作る部分は動的に変えなくても、ソースコード変えればいいわけだから
動的である必要はない。
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
421 ：デフォルトの名無しさん[sage]：2015/12/21(月) 20:41:15.90 ID:mofV3EhK - >>415
> つべがflvやめてhtml5にしたり通信先が小変更する度に
> システムフル再コンパイルしてそうだなおまえら。
分割コンパイルって知ってる？
依存関係を小さく保つから、影響があるところも局所化され
実際にはシステムフル再コンパイルではなく、依存しているところのみ
再コンパイルが必要になるだけ。
そういったことも知らずに叩くんだよなぁ（笑）
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
423 ：デフォルトの名無しさん[sage]：2015/12/21(月) 20:46:53.08 ID:mofV3EhK - >>420
> それは静的型付言語で空リストの先頭要素を取り出そうとして例外が発生するのと
> どう違うのだ？
図にすればわかる？ わかりやすく簡略化して書くけど
| 型の問題 | 空リストの問題 | ゼロ除算の問題 |
静的 | なし | あり | あり |
動的 | あり | あり | あり |
問題が多いのはどっち？ 答え 動的
重要なのは、問題がどれだけ "多いか" だからさ。
静的・動的、両方に発生する問題を持ってきても、
動的だけにある問題がある以上、動的のほうが問題が多いわけで
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
424 ：デフォルトの名無しさん[sage]：2015/12/21(月) 20:49:47.79 ID:mofV3EhK - >>422
> そもそも"型"ってなにかね？
インターフェースの取り決めだね。
巨大なシステムは複雑にならざるをえない。
だから、公開している部分と、公開してない部分をしっかりわけ、
公開している部分は仕様をきっちり明確にする。
その仕様がインターフェースであり型なんだ。
LinuxもWindowsも仮想マシンもコンテナも
大きなシステムは静的言語を使って作られている。
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
425 ：デフォルトの名無しさん[sage]：2015/12/21(月) 20:52:58.26 ID:mofV3EhK - >>422
> 毎回自分のプログラムを再コンパイルして備えるつもりか。
だから毎回全部を再コンパイルしてないってばｗ
Linuxの動的ライブラリの仕組みとかドライバの読み込みとか
Apacheのモジュールの仕組みとかしらないの？ｗ
インターフェース（≒型）をきっちり決め、そのインターフェースに合わせることで
再コンパイルすること無く組み込み可能にしている。
こういったことを知らないんだもんなぁ（笑）
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
427 ：デフォルトの名無しさん[sage]：2015/12/21(月) 21:04:46.50 ID:mofV3EhK - >>426
静的型は型エラーであるもの、つまりアプリのバグ。
そのアプリのバグを静的型は実行すること無く検出できる。
それに対して動的型では、アプリのバグが見つからない。
アプリのバグが見つからないが型安全なんだから、
いいじゃないか。って言ってるわけだよね？
型安全＝アプリのバグがない
ということではないよ？知ってる？
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
429 ：デフォルトの名無しさん[sage]：2015/12/21(月) 21:07:13.91 ID:mofV3EhK - > そうだね、静的型情報をリンカに渡せば静的型でも必ずしも全てを再コンパイルする必要はない。
> そもそも動的型ならば全く再コンパイルする必要ないんだがなw
全く再コンパイルする必要ない！？それは大変だ。
インターフェースに不整合があったとしても、
その不整合を検出できないじゃないかｗ
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
432 ：デフォルトの名無しさん[sage]：2015/12/21(月) 21:09:52.92 ID:mofV3EhK - > そうやって動的型ならそもそも問題が存在すらしていないものを
意味不明。
インターフェース不整合があってエラーで例外を吐いてシステムが
正常に動かなくても型安全だから問題がない。
そう言ってるわけだよね？
そう、ユーザーにさんに言ってるわけだよね？
Q. ある機能を実行すると、エラーで例外を吐いて落ちます。機能が使えません。
A. 型安全なので不具合ではありません。言語仕様通りです。なので修正しません。
うははははｗ
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
436 ：デフォルトの名無しさん[sage]：2015/12/21(月) 21:15:10.99 ID:mofV3EhK - >434
> 引数がいくつあっても、引数の中身がなんであっても、機能名が何であっても、
> 必ず同じ形式でメッセージとしてパッケージングされるの。
その後は？ 重要なのはパッケージングされた後でしょう？
例外吐いて落ちるんでしたねｗ
うははははｗ
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
438 ：デフォルトの名無しさん[sage]：2015/12/21(月) 21:16:30.67 ID:mofV3EhK - Q. ある機能を実行すると、エラーで例外を吐いて落ちます。機能が使えません。
A. 型安全なので不具合ではありません。言語仕様通りです。なので修正しません。
これを否定しないのは、否定出来ないからだろうなｗ
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
442 ：デフォルトの名無しさん[sage]：2015/12/21(月) 21:18:59.25 ID:mofV3EhK - >>440
なるほど！
じゃあ訂正するよ
Q. ある機能を実行すると、エラーで例外を吐いて（落ちます⇒訂正） 落ちずに画面にエラーが出て、機能が使えません。
A. 型安全なので不具合ではありません。言語仕様通りです。なので修正しません。
うあははははｗｗｗ
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
443 ：デフォルトの名無しさん[sage]：2015/12/21(月) 21:20:42.70 ID:mofV3EhK - な？ インターフェースに不整合があってエラーで動かなくても
落ちなければ、不具合ではないっていう考え方なわけさ。
動的のアプリの質が悪い理由がわかるだろう。
こんな感じでいっつもいきあたりばったり
無計画に修正してるんだよ。
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
448 ：デフォルトの名無しさん[sage]：2015/12/21(月) 21:27:09.59 ID:mofV3EhK - >>445
じゃあこういうことか
Q. ある機能を実行すると、エラーで例外を吐いて（落ちます⇒訂正） 落ちずに画面にエラーが出て、機能が使えません。
A. バージョンアップして修正しました。
画面にエラーを出さないようにエラーを握りつぶしました。
該当の機能は正しく動きませんが、
他の機能が動いているんだからいいじゃないか？
うははははｗｗｗｗ
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
451 ：デフォルトの名無しさん[sage]：2015/12/21(月) 21:28:51.88 ID:mofV3EhK - 静的型付と動的型付はそれぞれ別のアプローチを取っているだけなのに、
動的型付しか知らないばっかりに静的型付を否定しなければ動的型付のメリットを説明できない。
これって動的型付言語ユーザとしても恥ずかしいことだと思うよ。
たしかに！ 動的型付けのメリットは出てない！
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
453 ：デフォルトの名無しさん[sage]：2015/12/21(月) 21:29:18.17 ID:mofV3EhK - >>450
おや？手詰まりですかｗ
今度は何もいいませんでしたねｗｗｗ
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
455 ：デフォルトの名無しさん[sage]：2015/12/21(月) 21:32:14.81 ID:mofV3EhK - >>452
なんもずらしてないよ？
より確実に堅牢なシステムを作るには静的がいいと言ってる。
静的型は、単体テスト＋型チェックの二重のチェックの
仕組みによりより堅牢なシステムが作れる。
動的型は 単体テストしか 出来ない。
型チェックは機械的で矛盾がないチェックシステムだから
低いコストで大きなメリットを得られる。
動的だと、インターフェースに不整合でも、例外が出て
それを捉えて画面に表示したりしなかったりするから
システムが動かなくてもいいじゃないかって言ってるだろう？ｗ
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
457 ：デフォルトの名無しさん[sage]：2015/12/21(月) 21:44:22.27 ID:mofV3EhK - >>456
あぁ、でも静的で作れないものはなにもないよ。
目的はシステムを作ることであって
動的にクラスを変えたりすることじゃないんだ。
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
462 ：デフォルトの名無しさん[sage]：2015/12/21(月) 22:18:22.42 ID:mofV3EhK - >>460
> どうやらこの人はemacsよりも拡張性が高く安定したエディタを
emacsはC言語だったね。
http://git.savannah.gnu.org/cgit/emacs.git/tree/lib?h=emacs-25
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
464 ：デフォルトの名無しさん[sage]：2015/12/21(月) 22:23:11.82 ID:mofV3EhK - >>463
そうそう。できることは変わらない。
それをするためのコストが違う。
静的であれば、単体テスト＋静的解析があるから
少ないコストで品質の高いアプリが作れる
|
- オブジェクト指向は愚かな考え。この世は計算式 ★2 [無断転載禁止]©2ch.net
467 ：デフォルトの名無しさん[sage]：2015/12/21(月) 23:38:13.37 ID:mofV3EhK - > だから、型が重要なら、型チェックをすればいいだけだろ
だからコストの問題。
静的解析にコストはほとんどかからないから
静的言語の単体テスト＋静的解析はコストが同じで
単体テストだけの動的言語よりも高い品質になる。
|