YoshikuniJujo on Nostr: あと、setterの型としては、 set :: s -> a -> s と set :: a -> s -> s ...
あと、setterの型としては、
set :: s -> a -> s
と
set :: a -> s -> s
のどっちのほうがいいんだろう。
Published at
2025-01-21 01:05:28Event JSON
{
"id": "a93f3c3fa22fff04816cc5ed93e20ecc148eea0a4b396679fbb93893e80a2c06",
"pubkey": "ef89ee45550f7377284d31e49fc57e5732ffc2b95a7bf35d0f1291d6fa278758",
"created_at": 1737421528,
"kind": 1,
"tags": [],
"content": "あと、setterの型としては、\n\nset :: s -\u003e a -\u003e s\n\nと\n\nset :: a -\u003e s -\u003e s\n\nのどっちのほうがいいんだろう。",
"sig": "f3bde2898659969ab8448a531e15c814b7c3c5fef1bbe34593d243c826f218e1c09153ba13c0e793a88461b8487518e8bb541209eef803e9c8265fc7dcb64af6"
}