オブジェクト指向システムの設計 172 [無断転載禁止]©2ch.net

uy ◆e6.oHu1j.o · 2016/07/09(土) 00:35:13.95

前スレ
オブジェクト指向システムの設計 171 [無断転載禁止]©2ch.net
http://echo.2ch.net/test/read.cgi/tech/1465636703/

あ · 2017/08/08(火) 10:33:15.83

>>986
その中の、「メソッド」まで見てみた？
あるクラスまたはオブジェクトに存在するサブルーチン、とあって、手続き的な指向までは排斥されてないよ。

**デフォルトの名無しさん** · 2017/08/08(火) 11:00:31.01

>>987
お前とは会話できんわ

**デフォルトの名無しさん** · 2017/08/08(火) 12:30:47.84

つまり、このスレで手続き爺手続き爺って言ってたやつは
自分はアホですって自己紹介していたようなものって事だな

だってこういう場合、普通は手続きって言葉は使わない
パラダイムの世代を表したいなら「構造化言語」って言葉を使うのが普通だ
手続きって言った場合は、関数型に対する手続き型の意味合いがあるからな

**デフォルトの名無しさん** · 2017/08/08(火) 12:39:32.38

それと、巷のオブジェクト指向言語(Java C# C++ etc)が手続き型って認識が無いから
アホみたいな発言を繰り返してしまうってのもあるだろうな
メソッドを呼びあって相互作用する「手続き」を「プログラム」する
ってのが分かってない
OOPだろうが結局バグを生まないために一番大事なのが「処理の順番を守ること」である以上
手続き型としか言いようがない

**デフォルトの名無しさん** · 2017/08/08(火) 12:44:18.16

まぁOOPはカプセル化とか、ある程度は保護してくれるけど
メソッド呼び出しの順番やタイミングを誤ったことをコンパイル時に知らせてくれる
な～んて事は無いので
結局手続き型の、手続きを守らなければならないという
一番の弱点が残っている以上はOOPも手続き型に違いないわけだ

**デフォルトの名無しさん** · 2017/08/08(火) 13:14:56.95

で、この話は>>412の
呼び出してはいけないタイミングでメソッドが呼び出されたらどうする？
って話につながる、というか、戻る

副作用があって処理の順番にプログラムの結果が依存する
手続き型一般にありがちな問題といえる

これを言語仕様で克服できてないということは
JavaもC#もC++も手続き型ということ
手続き型の欠点をそのまま受け継いでいるから
欠点を受け継いでいる以上は無視できない

**デフォルトの名無しさん** · 2017/08/08(火) 13:15:17.67

>>991
順番やタイミングといった動的なものを
コンパイルという静的な視点でエラーにするパラダイムがあるの?
コンストラクタとかあるタイミングで何かを保証するルールならわかるけど

**デフォルトの名無しさん** · 2017/08/08(火) 13:19:47.32

>>993
無いから「手続き型」だと言ってる
欠点をそのまま受け継いでいるから

ただ、順番やタイミングから逃れられる方式もあって、それが関数型なわけだけど
逆にそれが出来る関数型が存在しているからこそ
順番やタイミングに依存する方式は、より一層、手続き型臭いといえるわけだ

**デフォルトの名無しさん** · 2017/08/08(火) 13:21:38.56

>>994
その関数型の実装例を教えて下さい

**デフォルトの名無しさん** · 2017/08/08(火) 13:26:58.10

関数型はそれが出来るというより
意図的に排除する仕組みが言語仕様で用意されているといったほうがいいな

**デフォルトの名無しさん** · 2017/08/08(火) 13:35:10.92

さっぱりわからない

**デフォルトの名無しさん** · 2017/08/08(火) 13:54:08.20

システムの設計について書くやつと言語仕様について書くやつが居てちぐはぐだな

**デフォルトの名無しさん** · 2017/08/08(火) 14:05:36.48

つまり存在は証明できないが神はいるってことか
関数型って宗教だったんだ

**デフォルトの名無しさん** · 2017/08/08(火) 14:50:32.01

何言ってんだ？

**1001** · Over 1000

このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
life time: 395日 14時間 15分 19秒