haskell-jp / random #95 at 2021-11-16 20:47:14 +0900

ゲッター・セッターの関係においてDistributiveと対をなす構造、名付けてLogisticを発見したので、ライブラリとしてリリースしました。data V3 a = V3 a a aのようなデータ型からジェネリクスでインスタンスを導出し、let V3 f g h = settersとすると、各フィールドを更新する関数f, g, hが得られます。考察対象としても面白いですが実用性もありそうです https://hackage.haskell.org/package/data-functor-logistic

すごい :clap:
Twitter の Setter のものと違って最終的にmodifer(?) (a -> a) -> t a -> t a が得られるライブラリのデザインになったんですね:eyes:

ですね。`(a -> a) -> t a -> t a` にすることでComposeのインスタンスが定義できるようになりました