レンズは、変更不能なレコード変更を実行する関数です。レコードの内容の一部を変更するレコードをコピーします。レンズは、レンズを組み合わせてより複雑な修正を行うためのライブラリです。逆レンズの名前は何ですか?
逆抽象を定義する正しい用語を探しています。 2つのオブジェクトを比較し、それらの間の差を返す関数もあります。このような機能もまたシステムを生成する。それぞれの修正は、細かい記述「レコード内のフィールドCの内側のフィールドAの内側のフィールドB」またはレコードの内側のフィールドCの粗いフィールドと同時に表すことができます。したがって、マッチの変更を希望の精度でパターン化することができます。
レコードを比較し、レコード内の変更に反応するコードを記述する必要があります。私は車輪の再発明を避けたいと思います。 Googleの逆レンズにしようとしましたが、関連性のない出力で溺れました。