Optics: 「パス」に型を付ければ、データ全体に型を付ける必要はない - Lambdaカクテル

あまり知られていない関数型言語のおもしろ概念として、Opticsというものがある。 Opticsとは、オブジェクト指向言語で言うところのSetter/Getterを一種の関数として捉え、いくつかの便利な特性を付与したものの総称だ。この便利な特性によって、Setter/Getter以上のことをパワフルにこなせる。 最も有名なOpticsはLensであり、色々な解説資料が(主にHaskell向けに)出ている。 blog.recruit.co.jp さて、これまでのOpticsを紹介する資料はSetterとGetterとしての側面に注目しがちだったので、じゃあOpticsの何が良いのか、Scalaでやる意義は何か、という側面をこの記事で紹介しようと思う。 Optics -- vs. copyメソッド地獄 Opticsは合成可能である Opticsはボトムアップのアプローチである Opticsがう

[Windymelt]

id:PrivateIntMain だいたいそうです。全体像はどうでもよくて、あるフィールドが読めるかどうか、といったミニマルな要素が型安全でなおかつ合成できれば、どのフィールドも安全に読めるよね、という感じです。

[yojik]

アプローチは大分違うけど、 データに型は不要でアクセスパスこそ一級市民だというのは「データ指向プログラミング」でも語られてたな。

[roshi]

Optics/Lensは「varを使わないgetter/setter」って雑に覚えていたけど、”JSONのデータアクセスパスに型をつける”というのは分かりやすくてよかった。

[PrivateIntMain]

全然触ってない分野。欲しい値に欲しい型があればよくて途中はどうでもいいって理解でいいのか。スーパーだろうが自販機だろうがそこにある水が買えりゃよくて、スーパーや自販機の全体像はいらない。/🙇

[versatile]

実体よりも関係性のほうが実は本体だという話かな

[nemoba]

DOPそのものすな。コード剥がして人のメンタルモデルに近づいたOOPと、メンタルモデルそのものが刹那的で不安定だと否定するのがDOPかなあ。

[so-apps]

現場で使えるかどうかはともかく、一つの考え方として。

[ytRino]

面白い