#型 #関数型プログラミング #デザインパターン

複数のデータ構造を横断する処理を、Opticsを通したget, setでカプセル化する

外部から観測可能(public)な振る舞い

メリット

サブタイピングや変性のような特徴を持っていても型安全にしやすい

SLAP原則に則ってカプセル化しやすい

trait的な挙動も表現しやすい

コンポーサブルであり、Immutable Modelで表現できる

説明に出てくるlens, prismはメタファーっぽい

なにかしたければ難しいこと考えずにこのレンズを通して命令しろ、みたいな

宣言型プログラミングっぽい感じ

---

---

実装例

Lenses And Prisms #Rust

Functional references: Lens and other Optics in Scala by Alo Davì #Scala

https://python-lenses.readthedocs.io/en/latest/tutorial/optics.html #Python

(Type|ECMA|Java)Scriptのライブラリ

---

Atomic State Managementの源流になってるという話をどっかで聞いた

jotai-opticsなんてのもある