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

**デフォルトの名無しさん** · 2017/08/08(火) 17:52:14.38

前スレ
オブジェクト指向システムの設計 172
http://mevius.2ch.net/test/read.cgi/tech/1467992113

類似スレ
手続き型システムの設計 1
http://mevius.2ch.net/test/read.cgi/tech/1500282714

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

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

では、「発送済みなら注文キャンセルできない」コードを示してみて

あ · 2017/08/08(火) 19:29:01.58

一体何がおかしかったのかわからん。

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

>>1
クソスレをさも当然のように張るなゴミ屑
PHPでも使って死んでろゴミ屑
死ねゴミ屑

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

>>2
違う話に移る前に

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

ということには納得したの？

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

別のスレからだけど丁度よいタイミングだったから転載するわ

413 名前：デフォルトの名無しさん[sage] 投稿日：2017/07/23(日) 00:54:24.08 ID:4pTb5xvQ [2/2]
　　　　　　　　　 ┌─マシン語
　　　　　　　　　 │
言語のレベル─┼─低級言語
　　　　　　　　　 │　　　　　　 ┌─コンパイラ型
　　　　　　　　　 └─高級言語─┤　
　　　　　　　　　　　　　　　　 └─インタプリタ型
　　　　 ┌─手続き型
　　　　 │
　　　　 │　　　　　　　　　┌─宣言型
　　　　 │　　　　　　　　　│
文法──┤　　　　　　　　　├─関数型
　　　　 │　　　　　　　　　│
　　　　 └ 非手続き型─┼─論理型
　　　　　　　　　　　　　　 │
　　　　　　　　　　　　　　 ├─グラフィック型
　　　　　　　　　　　　　　 │
　　　　　　　　　　　　　　 └─問い合わせ
　　　　　　　　　　　　　　　　　　　　　　　　　　　
パラダイム──オブジェクト指向
　　　　　　　　　　　　　　　　　　　　　　　　　　　
ttp://webrylabo.blogspot.jp/2009/11/blog-post_28.html
2009年11月28日土曜日

**デフォルトの名無しさん** · 2017/08/08(火) 23:06:11.89

構造化手法がないぜ!

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

それは俺も思った
手続き型のカテゴリにでも入れとけばよいんじゃないですかね

オブジェクト指向はレシーバーにメッセージをディスパッチするってだけの事だから
特にどこに属するってものでも無いのが良くわかるな

**デフォルトの名無しさん** · 2017/08/09(水) 10:30:25.52

>>5
> 違う話に移る前に
違う話って何？
もともとの話なんだけど

> ということには納得したの？
納得するかどうかは、コード見てからだね

**デフォルトの名無しさん** · 2017/08/09(水) 10:42:09.50

話がずれないように軽くまとめとくと、注文のキャンセル問題には三つの着眼点がある

1. キャンセルすることを禁止されているため呼べない（権限による制限など）
2. キャンセルは許可されているが、すでにキャンセル不可の状態になっている
　（キャンセル可否チェックの時点で、既に発送済みだった場合）
3. キャンセルは許可されていてキャンセル可能状態だが、実行してみたらキャンセルできなかった
　（トランザクションの一貫性の問題）

**デフォルトの名無しさん** · 2017/08/09(水) 13:20:32.85

キャサリンの本当の状態はいくつあるん?

**デフォルトの名無しさん** · 2017/08/09(水) 13:24:49.74

権限なし
権限あり
　　アクティブ
　　非アクティブ
　　　　問い合わせ中
　　　　済み
　　　　うんこ中

リザルト
　　うんこ
　　非うんこ

**デフォルトの名無しさん** · 2017/08/09(水) 21:30:53.29

>>9
じゃあこの話に戻ろうかね

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

**デフォルトの名無しさん** · 2017/08/09(水) 21:31:43.00

関数型に言語仕様で用意されている
"意図的に排除する仕組み"とはなに？

**デフォルトの名無しさん** · 2017/08/09(水) 22:02:15.81

そんなの自分で勉強しろよ
何でも教えてもらえると思うな

**デフォルトの名無しさん** · 2017/08/09(水) 22:06:00.81

手続き型言語は副作用があるのが前提で
その場合、結果が処理順に影響するけど
関数型言語は意図的にそれを排除する仕組みがある
それだけ

**デフォルトの名無しさん** · 2017/08/09(水) 22:18:24.91

>>16の説明に納得してから
次の話題に入りましょう

**デフォルトの名無しさん** · 2017/08/09(水) 22:27:55.99

意図的に副作用を排除するって大雑把すぎるな
そんなん言ったらどの言語でも同じ

**デフォルトの名無しさん** · 2017/08/10(木) 11:40:37.46

>>16
その仕組みを説明しなよ

**デフォルトの名無しさん** · 2017/08/10(木) 11:46:48.00

手抜き型言語ってか

**デフォルトの名無しさん** · 2017/08/10(木) 11:49:51.99

片っ端からImmutableにしとけば副作用なんて簡単に排除できるわな

**デフォルトの名無しさん** · 2017/08/10(木) 12:28:26.86

DBに保存とか表示するとか出力も副作用だろ

**デフォルトの名無しさん** · 2017/08/10(木) 12:36:34.29

それは期待する振る舞いだから副作用とは言わん

あ · 2017/08/10(木) 12:42:06.85

>>23
その意味の「副作用」って薬とかのそれじゃないの？

**デフォルトの名無しさん** · 2017/08/10(木) 12:46:42.98

>>24
状況次第

**デフォルトの名無しさん** · 2017/08/10(木) 12:53:02.81

なんでも状況次第になるね

**デフォルトの名無しさん** · 2017/08/10(木) 12:53:54.30

副作用の定義からかよ
ロジックや計算という作用と、出力等の副作用を分けましょうね
って指針じゃないの