関数型言語でのゲッターとセッター

関数型プログラミングの原則の1つは、純粋関数の使用です。ピュア関数は、副作用がなく、参照的に透過的な関数です。

ゲッターは参照透過的ではありません-ゲッターへの呼び出しの間にセッターが呼び出されると、ゲッターの戻り値はパラメーターがない（通常はパラメーターがない）場合でも変化します。

セッターは副作用を生み出します-セッターを呼び出すと、通常、戻り値ではない値が操作されます（実際、伝統的にセッターは何も返しません）。

Scalaでは、2つのパラダイム（関数型とオブジェクト指向）を組み合わせてJavaのような言語で行うようにゲッター/セッターを使用しているという事実を受け入れてくれることを知っています。

Haskellのような言語（私は流暢ではありませんが、「純粋な」関数型言語に当てはまると言われています）では、ゲッターが参照透過でセッターであるようにオブジェクトのプロパティをモデル化する方法に興味があります副作用はありませんか？

解決策は、セッターが呼び出されたオブジェクトのコピーをセッターの戻り値として返すことであり、このコピーにはプロパティ値の変更が含まれていますか？

丁度。ケースクラスメソッドcopy、またはレンズの一般的な概念をご覧ください。

特に、状態を変更する必要がある場合は、Stateモナドを使用します。その状態モナドへの変更は、レンズを介して行うことができます。これにより、「状態」からの情報の抽出と変更が容易になります。

「状態」のような深い構造とそれに変更を加えることから生じる一般的な問題に関するこの質問も参照してください。レンズとジッパーの両方について詳しく知りたい場合は、回答に両方のリンクが含まれています。

まあ、Haskellでは、オブジェクトは（通常）不変であるため、ゲッター（レコード構文を使用すると取得されます）またはゲッターのように機能する関数は参照的に透過的です。そして、オブジェクトに値を「設定」しないでください。古いオブジェクトに似た新しいオブジェクトを作成する場合は、フィールドの1つに異なる値を使用します。これも純粋な関数です。

「ゲッターとセッターはオブジェクトをパラメーターとして持っています-それは通常暗黙的ですが-ゲッターは参照的に透過的です。–デルナン」

参照透過とは、関数が常に同じ入力に対して同じ出力を返すことを意味します。したがって、オブジェクト属性がセッターによって変更された場合、同じ出力を返しません。:)