YoshikuniJujo on Nostr: Haskellのlensって、よくできてるな。美しい。肝は type Lens s a = ...
Haskellのlensって、よくできてるな。美しい。肝は
type Lens s a = forall f . Functor f => (a -> f a) -> s -> f s
lens :: (s -> a) -> (s -> a -> s) -> Lens s a
lens gt st f = \s -> st s <$> f (gt s)
か。この関数にすべてつまっている。
Published at
2025-01-17 01:08:20Event JSON
{
"id": "ac8859a89d7f488d927c50d0ba372c79a91a7f29b95835e2b7727bd916bff2ef",
"pubkey": "ef89ee45550f7377284d31e49fc57e5732ffc2b95a7bf35d0f1291d6fa278758",
"created_at": 1737076100,
"kind": 1,
"tags": [],
"content": "Haskellのlensって、よくできてるな。美しい。肝は\n\ntype Lens s a = forall f . Functor f =\u003e (a -\u003e f a) -\u003e s -\u003e f s\n\nlens :: (s -\u003e a) -\u003e (s -\u003e a -\u003e s) -\u003e Lens s a\nlens gt st f = \\s -\u003e st s \u003c$\u003e f (gt s)\n\nか。この関数にすべてつまっている。",
"sig": "6166b61d112cd1b514e12d629c1544b3aa5b9d201b48837a9d04507edb7b22f016434732b081ea0ee57f01b47aa685df99ea03d37442b315a9eafdcffb7a6758"
}