カプセル化は愚かな考え

**デフォルトの名無しさん** · 2020/07/29(水) 17:17:58.13

■危険性

かつて偏差値の低い学校向けの情報処理系教科書において「カプセル化は大変すばらしいものであり絶対に使うように」と大体的に宣伝された。

一方、カリフォルニア大学バークレー校の有識者を中心とした「インターネットを作った人たち」は「階層化の有害性（RFC 3439)」として「カプセル化は絶対にやめろ」としている。

大雑把にいうと、教科書の上では素晴らしく、開発を始めた最初のうちは良いが、将来的な改修の際に隠蔽されたデータにアクセスできないと解決できない問題が出てきて、非常に高確率でデスマーチに陥るというのである。

オブジェクト指向の発案者であるアラン・ケイもコーディング規約（頭文字にアンダースコアを付けるなどの命名規則）で縛る程度にすることを推奨しており、アラン・ケイが関わったオブジェクト指向プログラミング言語にはどれも「private」などという概念はない。

ソースコードが存在し改修が可能であればカプセル化しても問題ない。ソースコードがあってもライセンス的に改修できない場合や、そもそもバイナリのライブラリしかない場合などは絶望的である。

https://monobook.org/wiki/%E3%82%AB%E3%83%97%E3%82%BB%E3%83%AB%E5%8C%96(%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0)

**デフォルトの名無しさん** · 2020/09/06(日) 12:32:39.91

privateがなくてpublicしかない構造体
内部データを持てない構造体

**デフォルトの名無しさん** · 2020/09/06(日) 12:46:56.99

>>892
じゃあレコードでなければならない理由はないんだよな。

**デフォルトの名無しさん** · 2020/09/06(日) 12:58:13.53

>>894
なにが？

**デフォルトの名無しさん** · 2020/09/06(日) 13:03:09.55

>>880が。

**デフォルトの名無しさん** · 2020/09/06(日) 13:04:50.70

>>896
ないんじゃね、レコードしかないとは>>880さんは言ってないし

**デフォルトの名無しさん** · 2020/09/06(日) 13:23:08.96

関数へのポインタが使えるCは関数型言語

**デフォルトの名無しさん** · 2020/09/06(日) 13:36:39.46

ポインタ含む参照型がある言語は関数型ではない
関数型は参照型禁止、値型しか無い

**デフォルトの名無しさん** · 2020/09/06(日) 13:40:27.64

>>897
つまり>>880は「値作るだけじゃん」と読み替えても同じということ？

**デフォルトの名無しさん** · 2020/09/06(日) 13:43:40.01

状態が不変なら参照型も値型も扱い方は同じ
値のコピーを取る値型よりも参照型の方が効率的

**デフォルトの名無しさん** · 2020/09/06(日) 13:44:34.03

>>900
違うんじゃね、>>880さんはレコードと言ってる
レコードと値は別のもの

**デフォルトの名無しさん** · 2020/09/06(日) 14:03:17.00

関数型で状態管理するのは別にそんな複雑な話でもなくて、状態を戻り値にした関数作るだけだぞ。
コネクション管理だったりreduxの作りだったりで見かけたりはする。
別にいいとも悪いとも思わんが。

**デフォルトの名無しさん** · 2020/09/06(日) 14:05:16.32

問題はその状態がpublicだから誰でも見れちゃうという所

**デフォルトの名無しさん** · 2020/09/06(日) 14:08:22.94

>>904
いやそれがパブリックかどうかを気にするようなスコープで使ってることのが問題

**デフォルトの名無しさん** · 2020/09/06(日) 14:09:37.52

>>902
>>880はレコード型の値を作ることを言っているかと思ったんだが？

**デフォルトの名無しさん** · 2020/09/06(日) 14:16:55.47

>>906
>>880さんが言ってるのは「レコード作るだけじゃん」ってことだよ
読み直してごらん、それ以外のことを言ってない

>>906さんが「値作るだけじゃん」と言ったのであって
>>880さんはそんなこと言ってません

**デフォルトの名無しさん** · 2020/09/06(日) 14:33:58.57

>>880で作るといっていた「レコード」がレコード型の値のことでなければ何だったんだろうか。
まさかレコード型の方か？

**デフォルトの名無しさん** · 2020/09/06(日) 14:36:14.18

>>908
レコードを作ると言ってるんだからレコードのことに決まってます

**デフォルトの名無しさん** · 2020/09/06(日) 14:38:21.85

マリオ「ドラキュラはにんにくが嫌いだ」
ルイージ「にんにくは野菜だからドラキュラはにんにくという野菜が嫌いなんだ」
ルイージ「ドラキュラは野菜が嫌いだとマリオが言っていたので
　　僕はとっておきのにんじんをドラキュラに投げつけてやるんです」

**デフォルトの名無しさん** · 2020/09/06(日) 14:54:38.53

値でも型でもない「レコード」というと、はて…？
まさかデータベースとか円盤とかではあるまいが。

**デフォルトの名無しさん** · 2020/09/06(日) 14:57:16.66

>>911
レコードは関数やオブジェクト、参照、ポインタって可能性もありますね
DBは正式にはタプルかな、CSVではフィールドの集まりと定義されてる

**デフォルトの名無しさん** · 2020/09/06(日) 14:58:50.00

いずれにしても>>880さんは「レコード作るだけじゃん」と言っておられるのだから
レコードを作るだけなんだなあと受け取るのが正しい理解

**デフォルトの名無しさん** · 2020/09/06(日) 14:59:33.93

マリオ「ドラキュラはにんにくが嫌いだ」
正しいルイージ「ドラキュラはにんにくが嫌いなんだなあ」

**デフォルトの名無しさん** · 2020/09/06(日) 15:09:57.16

おまえらはご飯論法とか藁人形論法ってやつから勉強しなおしだな

**デフォルトの名無しさん** · 2020/09/06(日) 15:11:11.31

>>913
つまり>>880は適当なことを言っていたので煙に巻こうとしていると。

**デフォルトの名無しさん** · 2020/09/06(日) 15:13:56.70

>>916
>>880さんは正しいこと言ってると思いますよ

**デフォルトの名無しさん** · 2020/09/06(日) 15:22:52.23

ダルビッシュ → すごい
日本人 → すごい

レコード → 状態
値 → 状態

この論理展開が正しいと思ってる人はいるっぽい

**デフォルトの名無しさん** · 2020/09/08(火) 11:27:04.86

>>879

>649-651に書いてる。

**デフォルトの名無しさん** · 2020/09/08(火) 13:03:50.09

Haskellも当初はstreamで、それが何かしらの不都合が合ってmonadにしたんだろ

**デフォルトの名無しさん** · 2020/09/08(火) 16:00:21.90

>>919
書いてない。10個ぐらいの状態を保存するコードを書いてくれ

**デフォルトの名無しさん** · 2020/09/08(火) 16:11:26.42

>>921
引数を10個+αにしたり、10個の値の入ったリストなりタプルなりを渡す末尾再帰にすれば良いだけですが・・・。

もしくは>911の様な理解でも良い。
同様な物としてGUI部品そのもの(が確保してるメモリ領域)に保持させる。
Haskellから見れば外部から値を受け取って、外部に値を返すだけの「関数の様に振る舞う物(圏論で言う射)」になる。

**デフォルトの名無しさん** · 2020/09/08(火) 16:28:58.38

状態を変えずに10個の状態を保存する例
https://paiza.io/projects/Bnk3OVs0L5TawdxlD4MHbw

**デフォルトの名無しさん** · 2020/09/08(火) 20:38:03.15

> 引数を10個+αにしたり、10個の値の入ったリストなりタプルなりを渡す末尾再帰にすれば良いだけですが・・・。

その延長だとHTMLのボタンとかだと
引数が30個とかそれ以上になるんでしょうねｗ

**デフォルトの名無しさん** · 2020/09/08(火) 22:02:06.87

>>924
チュートリアル1ページくらい読めってw
https://guide.elm-lang.org/

button [ onClick Decrement ] [ text "-" ]

buttonに渡してるのはattributeのlistと子要素となるHTMLのlistの2つだけ
HTMLを理解してればこれで十分って分かるよね？

**デフォルトの名無しさん** · 2020/09/09(水) 11:00:16.10

>>924
そう言うのんはHaskellの外側だから、ライブラリの初期化関数に読み込ませて、必要な関数に対応させるだけだお。

純粋関数型言語だから状態を持てないんじゃ無くて、状態をHaskellの外に置くのか、関数の引数にして引き回すのかの違いだけ。
副作用が無いとか、状態が無いとかは捉え方の問題で、状態も持つし副作用も有る。
参照透明性が崩れないのが普通の言語との違い。

**デフォルトの名無しさん** · 2020/09/11(金) 12:24:48.69

キンタマはチンポに含まれるか否かだが、オシッコするときは含まないが射精するときは含む。

**デフォルトの名無しさん** · 2020/09/11(金) 17:27:46.63

ハスケラーはまずモナドのわかり易い説明をここでしないとチン子さんとか納得しないんじゃないか

**デフォルトの名無しさん** · 2020/09/11(金) 17:43:18.98

モナドは入れ物から取り出して、なんかして、また入れ物に戻す動作。
そんな動作に付けられた名前がモナド。

**デフォルトの名無しさん** · 2020/09/11(金) 18:36:34.58

では穴を掘ってまた埋める動作に付けられた名前は？

**デフォルトの名無しさん** · 2020/09/11(金) 20:38:25.73

死の家の記録?

**デフォルトの名無しさん** · 2020/09/12(土) 01:37:20.53

https://video.twimg.com/ext_tw_video/1302046042913873920/pu/vid/1280x720/N8oOVAS-fmlhoZDn.mp4

**デフォルトの名無しさん** · 2020/09/12(土) 14:18:08.44

>>930
その動作もモナドで表現出来る。
失敗する可能性のある処理に使うMaybe型もモナドなので、何も埋まってない穴を掘って何も埋まってない穴を埋め戻すのはNothing を受け取ってNothingを返すのと同じ。
(Nothing(答えが存在しない) がMaybe型の空っぽに相当する表現)

Nothing >>= f = Nothing

空っぽになったら無条件で空っぽを返すので、戻り値を捨てて新しい値を作らない限り、何度掘ってもNothing。

Nothing >>= f >>= f = Nothing

**デフォルトの名無しさん** · 2020/09/12(土) 14:38:29.60

500円貯金をMaybe型で、fが500円入れる。gがx円取り出す。

Just 500 >>= f >>= f >>= g 1500

f x = Just (x + 500)

g x y | x >= y = Nothing
g x y = Just (y - x)

Out:
Nothing

Just 500 >>= f >>= f >>= g 500

f x = Just (x + 500)

g x y | x >= y = Nothing
g x y = Just (y - x)

Out:
Just 1000

**デフォルトの名無しさん** · 2020/09/12(土) 16:08:34.35

やっぱりhaskell出張スレになったか

**デフォルトの名無しさん** · 2020/09/13(日) 10:20:25.96

繋がっているけれども独立している、単語と文章と文脈は、繋がっているけれどもそれぞれ独立している。
チンポは自分と繋がっているけれども独立している。

**デフォルトの名無しさん** · 2020/09/13(日) 21:59:48.77

データベースというグローバル変数

**デフォルトの名無しさん** · 2020/09/13(日) 22:13:23.88

管理しきれればグローバル変数だろうがなんだろうがいいんだ

**デフォルトの名無しさん** · 2020/09/13(日) 22:20:22.63

>>937
テスト用のDBに切り替えられるようなコードにしとけよ。

**デフォルトの名無しさん** · 2020/09/13(日) 22:36:45.09

>>937
データベースに頼る統計的機械翻訳はオシマイ、自然言語処理はオブジェクト指向で。
繋がっているけれども独立している、オシッコするときのチンポは制御型、勃起するときのチンポは自律型。

**デフォルトの名無しさん** · 2020/09/14(月) 00:48:24.64

>>937
それは単にデータベースのデータの管理とデータベース製品の使い方を知らないだけ

**デフォルトの名無しさん** · 2020/09/14(月) 02:30:40.99

>>936
チンポと言えば、あわしろいくや。

**デフォルトの名無しさん** · 2020/09/14(月) 09:05:52.30

>>938
規模の拡大に伴って急激に管理しきれなくなるから問題なんだよ

**デフォルトの名無しさん** · 2020/09/14(月) 09:34:57.86

Excelに記述する方法で2万件程度なら行けるよ

**デフォルトの名無しさん** · 2020/09/14(月) 09:37:57.62

お前らアホはオブジェクト指向言語で階層構造にしちまうから
いざ、データベースヘ入れるぞってときにあたふたし始めて
作業にかかると大変な労力を使うことになる
っていうか今どきデータベースへ入れるかもしれないってところに頭がまわらないやつって使えなくね？

**デフォルトの名無しさん** · 2020/09/14(月) 09:49:35.40

>>945
データベースに入れることとオブジェクト指向は何の関係もないですね

**デフォルトの名無しさん** · 2020/09/14(月) 10:07:06.87

グローバル変数が過去に問題視された原因は2つ
一つは名前の衝突、もう一つは更新可能な共有変数は利用する箇所が増えるほど扱いが煩雑になること

前者はnamespaceに類するものを使えば解決可能でほとんどの言語でそのアプローチを採用している
後者はできるだけimmutableにする、それができないなら利用箇所を限定して同時実行制御のイディオムを使うことで比較的容易に管理可能になる

データベースで考えると
前者はserver.database.schema.table.row.columnといった形でnamespace的に整理可能なので問題にならない
後者は可能な限りimmutableにできるかどうかや、mutableなら利用箇所を限定できるかどうかに依存しているので
開発者のアーキテクチャ設計能力が一定水準以下の場合のみ問題になってくる

**デフォルトの名無しさん** · 2020/09/14(月) 12:15:42.69

>>947
>一つは名前の衝突、もう一つは更新可能な共有変数は利用する箇所が増えるほど扱いが煩雑になること

「チンポ」は独立した生き物として考えないと、何故チンポは勃起したり射精したりするのかわからなくなる。

**デフォルトの名無しさん** · 2020/09/14(月) 13:51:14.61

神様も設計間違えたかと思うようなダブル用途

**デフォルトの名無しさん** · 2020/09/14(月) 22:39:06.99

データベースを使うとカプセル化とは縁遠い作りになることが多い

**デフォルトの名無しさん** · 2020/09/14(月) 22:40:11.02

だいたいレコードを入れる構造体1階層で完結する

**デフォルトの名無しさん** · 2020/09/14(月) 23:02:01.08

>>950
お前の理屈だと、ファイルを使うとカプセル化とは縁遠い作りになることが多いんだろ？ｗ

**デフォルトの名無しさん** · 2020/09/15(火) 01:45:28.43

カプセル化の意味を履き違えているのばかりだし、異様にこだわるのはもはやキチガイレベル。

**デフォルトの名無しさん** · 2020/09/15(火) 10:10:35.41

オブジェクト指向に疑念を持って、関数型などにも浮気したが結局オブジェクト指向に戻ってきた
関数型だとインフラストラクチャのコントロール、外部APIコーディネートなどといった「現実の問題」に対象できない
また関数型が優れているとされる理由のエッセンスはイミュータビリティである、ということに気がついたからだ
結局のところオブジェクト指向にイミュータビリティを導入することが正解だった

**デフォルトの名無しさん** · 2020/09/15(火) 11:13:01.56

全然関係ないこと横文字羅列することで畳み掛けるの流行ってるの？
少なくともそんなとこ考えてるときにオブジェクト指向言語じゃないと実装できませんねとか
意味不明なこと言い出した奴もういらんわ

**デフォルトの名無しさん** · 2020/09/15(火) 11:21:53.53

何かに反論するときに、◯◯って流行ってるの？っていう入り方するのって流行ってるの？

**デフォルトの名無しさん** · 2020/09/15(火) 11:28:14.31

オブジェクト指向でなければならないことはない
関数型ではダメなことは多い
手続き型のほうがうまくこなせることも現実世界には多い
それぞれ得手不得手がある
なのでそれらをいい感じに融合できるオブジェクト指向が正解ってわけ
融合する際にそれらの境界を上手く隔てるためにカプセル化が役に立つ

カプセル化を活用して、インフラストラクチャ、ステートフルリソース、手続き的な処理を隔離する
イミュータブルオブジェクトを導入して関数型の思想のもとで堅牢かつ柔軟なドメインモデルを構築する

このようにオブジェクト指向はなんでもそこそこ上手くできるからバランスがいいんだよ
現実を見据えたパラダイムだと思うよ
原理主義的にならずに旨味だけを享受すればいい

もちろんなんでもできるから使い方を間違えるとひどい目に合う
そこはしっかりと教育していくしかない
どんな道具でも学習は必要だ

**デフォルトの名無しさん** · 2020/09/15(火) 12:11:23.59

>>957
>関数型ではダメなことは多い
ダメな例を具体的に書けば自分のダメさがよく分かるよ

>どんな道具でも学習は必要だ
君自身がしっかりと教育されるしかない

**デフォルトの名無しさん** · 2020/09/15(火) 12:21:34.24

関数型のクイックソートはクイックじゃねえからなｗｗｗｗｗ
ｗｗｗｗｗ使い物にならねえわｗｗｗｗ

**デフォルトの名無しさん** · 2020/09/15(火) 12:23:00.49

クイックソートの遅い実装？

**デフォルトの名無しさん** · 2020/09/15(火) 12:45:43.54

>>958
挙げてるじゃん
インフラストラクチャ、ステートフルリソース、外部APIコーディネート、などなど
数えたら枚挙に暇がない

関数型は所詮はインメモリの世界でしか通用しない道具だ
しかしインメモリに限れば強力なツールだ

なので関数型が苦手なことが得意な手続き型と組み合わせて使うのが正解
そして関数型と手続き型を密結合することなくうまく調和させるためにOOPのカプセル化や抽象化といった概念が役に立つ

**デフォルトの名無しさん** · 2020/09/15(火) 13:04:11.00

>>1
アランケイが提唱したオブジェクト指向と、クラスベースのオブジェクト指向を混同してる時点でな
いつものオブジェクト指向否定信者がスレ立てたんだろ

**デフォルトの名無しさん** · 2020/09/15(火) 13:27:23.20

関数型に適応できる高速なソートのアルゴリズムってあるの？

**デフォルトの名無しさん** · 2020/09/15(火) 14:42:17.61

>>961
Erlang は上手くやってるな

**デフォルトの名無しさん** · 2020/09/15(火) 20:20:21.30

>>961
>インフラストラクチャ、ステートフルリソース、外部APIコーディネート

これが具体的な例なんだねww
にしてもインフラストラクチャてwww

無知を自覚してしっかり教育されるか、無知を認められず老害化するかは君次第

**デフォルトの名無しさん** · 2020/09/15(火) 21:23:52.92

何わろてんねん

**デフォルトの名無しさん** · 2020/09/15(火) 22:03:17.38

「関数型はI/Oが苦手」
「関数型ではカプセル化できない」

と思っちゃってる個人の感想だよね

**デフォルトの名無しさん** · 2020/09/15(火) 22:08:43.90

次の世代は関数型OSだろな。

**デフォルトの名無しさん** · 2020/09/15(火) 23:38:31.91

>>968
いつまでに関数型OSが実用的に利用できると思う？
100年以内にでると言い切れる自信ないでしょ？ｗ

**デフォルトの名無しさん** · 2020/09/15(火) 23:49:58.45

現実世界は副作用の塊なんだよ
関数型は現実問題を解決するには不向き
手続き型やOOPの力によって現実問題とうまく切り離された僅かな隙間であるインメモリ計算処理をうまくこなすことができる
関数型とはただそれだけの存在だ

**デフォルトの名無しさん** · 2020/09/15(火) 23:52:41.89

数学の世界では無限という数値だって扱えるんです
しかしコンピュータでは扱えません

**デフォルトの名無しさん** · 2020/09/16(水) 00:11:09.88

>>971
∞ + 1 = ?

**デフォルトの名無しさん** · 2020/09/16(水) 00:33:59.70

インメモリ計算処理www
なんで理解できてないことをあたかも理解してるかのように語りたがるのかな？

知らない書けない理解してない無知な自分を認めたくないからって"あっちの水は苦い"と喧伝して自分を慰めても何にもならないぞ

**デフォルトの名無しさん** · 2020/09/16(水) 00:47:40.07

ここにいるhaskellerはレベル低そう

**デフォルトの名無しさん** · 2020/09/16(水) 00:48:27.03

悔しかったらOS実装してみろ
C言語ならできるぞ手続き型に負けて悔しくないのか

**デフォルトの名無しさん** · 2020/09/16(水) 00:56:03.92

お前が実装したわけじゃあるまいしｗ
Windows はオブジェクト指向OS

**デフォルトの名無しさん** · 2020/09/16(水) 00:56:44.43

>>973
ん～この中身の空っぽなレス
悔しかったら関数型で俺が上げた弱点をどう克服するのか示してみろよ
まあ理解してないことをあたかも理解してるように語る奴には克服方法なんて答えられんだろうけどｗ

**デフォルトの名無しさん** · 2020/09/16(水) 01:00:28.73

え？オブジェクト指向言語で解決できてる問題があると言っている？

恐怖を感じるほどのバカだな

**デフォルトの名無しさん** · 2020/09/16(水) 01:01:49.28

>>976
それはそうやな

**デフォルトの名無しさん** · 2020/09/16(水) 01:03:50.27

え？win32apiが？

**デフォルトの名無しさん** · 2020/09/16(水) 01:08:46.31

>>980
わかんない

>>976
そこの君い何がオブジェクト指向なのかね？

**デフォルトの名無しさん** · 2020/09/16(水) 01:10:26.55

>>978
qmailのソースコード見たことある？
C言語なんだけどオブジェクト指向の極みなんだよ
https://github.com/amery/qmail

オブジェクト指向はqmailを解決したわけですね

**デフォルトの名無しさん** · 2020/09/16(水) 01:22:52.13

GitのソースコードもC言語なんだけどこれもオブジェクト指向の極み
https://github.com/git/git

コミットやリビジョン、リポジトリといった概念とソースコードが一致するようになってる
オブジェクト指向によるドメイン駆動設計

C言語すごい

**デフォルトの名無しさん** · 2020/09/16(水) 01:23:47.90

ドメイン駆動って何？

**デフォルトの名無しさん** · 2020/09/16(水) 01:25:58.14

これぇ？
https://qiita.com/little_hand_s/items/721afcbc555444663247

**デフォルトの名無しさん** · 2020/09/16(水) 01:31:39.87

>>984
ソフトウェアコードの構造と言語（クラス名、クラスメソッド、クラス変数）がドメインと一致するようにするという考え方
ドメインは、コンピュータプログラムの対象物のこと

**デフォルトの名無しさん** · 2020/09/16(水) 01:34:34.58

>>985
それえ！

**デフォルトの名無しさん** · 2020/09/16(水) 01:38:40.25

>>986
おまえさん、ソフトウエア、あんまり作ったことなさそうだな…

**デフォルトの名無しさん** · 2020/09/16(水) 01:42:15.93

>>988
あんまりどころか僕はソフトウェアを何一つ作ったことがないが
プログラムにすごく詳しいんだ、わからないことがあったら聞いてくれ

**デフォルトの名無しさん** · 2020/09/16(水) 01:43:37.93

DDDは流行の最先端だから覚えておくと良い

**デフォルトの名無しさん** · 2020/09/16(水) 01:48:57.66

>>989
正直でよろしい。
そしたらY-cominatorを用いた動的計画法の解法についておよび
ラマヌジャンがノートに残したモジュラ関数を応用した超数近似の収束性とｶ･マーカー方への応用を
十実装したプログラムにたいして何か知見があったらその痴性をひけらかして演説書いてチョンマゲ

つか、ど素人はすっこんで定年までROMってろよ、ってかんじ

**デフォルトの名無しさん** · 2020/09/16(水) 01:51:37.85

>>991
Y-combinator
実装
な。ﾊｰﾄ。

しかしオブジェクト指向とかにつて、ホントたまにこういう基地外が湧くのは
宗教的なせいだんだろうか