IDと変更可能な永続状態を持つエンティティは、関数型プログラミング言語でどのようにモデル化されますか？

この質問（ピートによって書かれた）への回答では、OOPとFPに関するいくつかの考慮事項があります。特に、FP言語は、同一性と変更可能な状態を持つ（永続的な）オブジェクトのモデリングにはあまり適していないことが推奨されます。

これが本当かどうか、つまり、関数型プログラミング言語でオブジェクトをモデル化する方法を考えていました。Haskellの基本的な知識から、モナドはなんらかの方法で使用できると思いましたが、このトピックについては明確な答えを出すのに十分な知識がありません。

それでは、アイデンティティと変更可能な永続状態を持つエンティティは通常、関数型言語でどのようにモデル化されますか？

ここに、私が考えていることを明確にするための詳細をいくつか示します。（1）データベーステーブルからJavaオブジェクトにレコードを読み取る、（2）さまざまな方法でオブジェクトを変更する、（3）変更されたオブジェクトをデータベースに保存できる、典型的なJavaアプリケーションを取り上げます。

これはどのようにしてHaskellに実装されますか？最初にレコードをレコード値（データ定義で定義）に読み込み、この初期値に関数を適用してさまざまな変換を実行し（各中間値は元のレコードの新しい変更されたコピーです）、最終的なレコード値を書き込みますデータベースに。

これで全部ですか？各時点でレコードの1つのコピーのみが有効/アクセス可能であることをどのように確認できますか？同時にアクセスできるように、同じオブジェクトの異なるスナップショットを表す異なる不変の値を使用したくない場合があります。

Haskellのような純粋な言語で状態変更を行う通常の方法は、古い状態を取り、変更されたバージョンを返す関数としてそれらをモデル化することです。複雑なオブジェクトの場合でも、Haskellの遅延評価戦略により、これは効率的です。構文的に新しいオブジェクトを作成している場合でも、オブジェクト全体がコピーされるわけではありません。各フィールドは、必要なときにのみ評価されます。

ローカル状態の変更がいくつかある場合、モナドが入る場所が不便になる可能性があります。モナドパラダイムを使用して、状態とその変更をカプセル化できます。教科書の例は、State標準のHaskellインストールに付属するモナドです。ただし、モナドは特別なものではないことに注意してください。これは、2つのメソッド（>>=およびreturn）を公​​開するデータ型であり、いくつかの期待に応えます（「モナドの法則」）。内部的には、Stateモナドはまったく同じです。古い状態を取り、変更された状態を返します。構文のみが優れています。

私は関数型言語の開発者ではないので、もし私が間違っている場合は私を炎上させてください、しかしもし正しければ、それは興味深い類推かもしれません。

かつて、Excelは本質的に関数型言語であると言われました。私はVBAなどについて話しているのではなく、シートで何が起こるかについて話している。

したがって、表、個々のセル、または名前付き範囲などの入力があり、一連の操作を通じて結果が1つまたは多くの結果になります。1つの入力を変更すると、すぐに流れます。

そのアナロジーは水を保持していますか？

純粋な関数型言語のステートレスな特性について話していると思います。

初期状態を入力として受け取り、最終状態を出力として返します。状態の概念を持つ言語で行うことと根本的に異なることはありませんが、それについてより明確であり、面倒で効率が悪い場合があります（*）。

オブジェクトを参照するすべての場所を変更する必要はないことに注意してください。トークンを保持している場合があり、トークンを現在の状態にマップするデータ構造を変更するだけです。それまでに、ステートレス言語を使用してステートフルシステムを実装し、ステートフル言語の問題を取り戻します。

（*）たとえば、O（1）で連続した整数によってインデックス付け可能なデータ構造の変更されたコピーをO（1）で返すことができるデータ構造を探しましたが見つかりませんでした。

つまり、エンティティの各状態はそれ自体のエンティティです。したがって、従来の「順序付け」ビジネスロジックには、OrderエンティティとOrderVersionエンティティがあります。どちらも不変です。ラインアイテムを追加するロジックは、古いバージョンと新しいバージョンをOrderLineItemVersion入力として取り、新しいOrderVersionエンティティを返します。

いくつかのことは簡単になりますが（特に「元に戻す」機能）、いくつかのことはより困難です。