YoshikuniJujo on Nostr: あるいはNonEmptyをかませて list :: b -> (NonEmpty a -> b) -> [a] -> b ...
あるいはNonEmptyをかませて
list :: b -> (NonEmpty a -> b) -> [a] -> b
みたいにしても、いいかもしれない。
Published at
2024-09-24 01:33:18Event JSON
{
"id": "3d1db8db78951fa1770f1cb22bf0cb8cccd5bdd227128eda1f9dde10492a07ba",
"pubkey": "ef89ee45550f7377284d31e49fc57e5732ffc2b95a7bf35d0f1291d6fa278758",
"created_at": 1727141598,
"kind": 1,
"tags": [
[
"e",
"8242dc616bcc9487d472ef0653c38a1c837ec78e24a2f977bee670eea7751dc9",
"",
"root"
],
[
"e",
"68404ebdd8d80d6edc1c0649f671368bbb892e8f0a4edf45ff87aa802c1e2f31",
"",
"reply"
],
[
"p",
"ef89ee45550f7377284d31e49fc57e5732ffc2b95a7bf35d0f1291d6fa278758"
]
],
"content": "あるいはNonEmptyをかませて\n\nlist :: b -\u003e (NonEmpty a -\u003e b) -\u003e [a] -\u003e b\n\nみたいにしても、いいかもしれない。",
"sig": "ab4e83fe6eb86da60ff17bdbda17d621c318c89d545c4a5f74ea384e37bd17e2052432f72101ec94c1e46b54ede917deefcaed5696691875756fc5501fc193b8"
}