>>846
何かの目標を持ってプログラムしている人の作業手順とかい離して
枝葉末節だけに注目して・・・ここまでならいんだがその後タコ壺になると
理論はおもちゃ化するんだよ、きっと。

上で書いたが、今のオブジェクト指向のプログラムの順序は不自然にも最初に抽象度の高い所から書かなければならない
しかし、抽象度の高い物は沢山の具体例から共通点を抜き出して作られる筈。
それと証明可能性とか厳密とか、バグが出にくいとか、ましてや馬鹿よけなんてものは無関係だよね。
そこに注目して周りが見えなくなると、どんなに完ぺきな物でも役に立たない何かになるのだと思われる。
手段の目的化した末の末路の一種だね。