YoshikuniJujo on Nostr: Haskellには maybe :: b -> (a -> b) -> Maybe a -> b either :: (a -> c) -> (b -> c) ...
Haskellには
maybe :: b -> (a -> b) -> Maybe a -> b
either :: (a -> c) -> (b -> c) -> Either a b -> c
みたいな関数がある。おなじように、
list :: b -> (a -> [a] -> b) -> [a] -> b
みたいな関数があるといいのだけど。
Published at
2024-09-24 01:31:02Event JSON
{
"id": "8242dc616bcc9487d472ef0653c38a1c837ec78e24a2f977bee670eea7751dc9",
"pubkey": "ef89ee45550f7377284d31e49fc57e5732ffc2b95a7bf35d0f1291d6fa278758",
"created_at": 1727141462,
"kind": 1,
"tags": [],
"content": "Haskellには\n\nmaybe :: b -\u003e (a -\u003e b) -\u003e Maybe a -\u003e b\neither :: (a -\u003e c) -\u003e (b -\u003e c) -\u003e Either a b -\u003e c\n\nみたいな関数がある。おなじように、\n\nlist :: b -\u003e (a -\u003e [a] -\u003e b) -\u003e [a] -\u003e b\n\nみたいな関数があるといいのだけど。",
"sig": "0efd9d298cc848fc7ba322b47f3cdf9dc49f8a3507cf2432f38a1324f83474515778bb3e436ac24c3d130105b03db187c7ccf438d4c16672ee3c90e5ea50135b"
}