状態管理技術★オブジェクト指向 VS モナド(関数型)

**デフォルトの名無しさん** · 2018/09/28(金) 05:33:54.48

アプリケーションの開発において状態を扱うことから逃れることはできません
オブジェクト指向では状態をオブジェクト内部に保持します。
一方、関数型ではモナドを使用します。

モナドは理解が難しいと言われ、そのため関数型の利用は
状態を持たなくて良い一部のライブラリや処理での利用に
とどまっているようです。

さてでは本当に関数型で状態を扱うのは大変なのでしょうか？
このスレでは関数型に詳しい人が、状態をどのように扱っているのかを解説し、
オブジェクト指向と関数型で状態を管理するのは、どちらが簡潔に記述でき
理解やテストがしやすいかを討論するスレです。

禁止事項
関数型言語では状態がなくなるんだ（嘘）だから簡単なんだ。
みたいな嘘、もしくは根拠が無い書き込みはやめてください

**デフォルトの名無しさん** · 2018/09/28(金) 06:40:37.49

関数型はモナドを使用するとか言う嘘もやめろよ

**デフォルトの名無しさん** · 2018/09/28(金) 11:13:01.04

自分は関数型は全く知らないけど
オブジェクト指向プログラミングだけで切り込もうと思う
多分あっちのスレからのスピンアウトだよね?

**デフォルトの名無しさん** · 2018/09/28(金) 18:15:42.06

コモンリスプオブジェクトシステム
略称 CLOS

**デフォルトの名無しさん** · 2018/11/24(土) 16:11:38.86

モナーて関数なの？

**デフォルトの名無しさん** · 2018/12/01(土) 05:38:07.94

関数が状態持てたら関数型の意味がないような気がするが、そうでもないの？

**デフォルトの名無しさん** · 2018/12/01(土) 06:14:54.83

stateモナドとかか？

**デフォルトの名無しさん** · 2019/01/17(木) 00:51:53.19

誰もモナドなんて分からないのに無理してこんなスレ立てるから…

**デフォルトの名無しさん** · 2019/01/17(木) 09:58:52.91

モナドとは関数型言語を手続き型言語にする手法だから
はじめから手続き型を使えばよろしい
終了

**デフォルトの名無しさん** · 2019/03/13(水) 22:25:47.01

>>9
モナドは逐次処理を関数型言語にもたらすものではあるけど、モナドのインスタンスIO(アクション)やリストは単純な再帰でもループとして処理出来る。(スタック消費しない)
ループ命令より再帰の方が単純になり易い。

純粋関数型言語限定だろうが、逐次処理を式として扱えるので定理証明システムとかでバグが無いことを証明できる。
(テストを通ってもバグがないと言い切れない手続き型言語との大きな違い)

**デフォルトの名無しさん** · 2019/03/14(木) 01:05:16.15

バグはテストが足りない、テストが間違ってることによって起きるのがほとんどなので
純粋関数型言語だろうが、バグの発生率は変わらない

**デフォルトの名無しさん** · 2019/03/14(木) 01:06:24.79

> ループ命令より再帰の方が単純になり易い。

末尾再帰になってるものは、ループのほうが単純になる