正気・腕力・犬 on Nostr: instance Semigroup Model3d where Solid (Box 0 0 0) <> b = b a <> Solid (Box 0 0 0) = ...
instance Semigroup Model3d where
Solid (Box 0 0 0) <> b = b
a <> Solid (Box 0 0 0) = a
a <> (Union bs) = union $ a : bs
(Union as) <> b = union $ as ++ [b]
a <> b = union [a, b]ヨシ！と思ったが速くならなかった 元のunionのネストが遅いというのがなんか幻覚を見ていたらしい
Published at
2024-06-23 10:52:53Event JSON
{
"id": "b280da1a5f930f450ca700afbd0488541d1442bd5046a4aad15117253d75c33a",
"pubkey": "ea107a3bf03e57bca780197b73c29f01c48c815308fd40ea19a47411c41cfa1e",
"created_at": 1719139973,
"kind": 1,
"tags": [
[
"proxy",
"https://misskey.io/notes/9uuzv6awhhm702i4",
"activitypub"
]
],
"content": "\n\ninstance Semigroup Model3d where\n Solid (Box 0 0 0) \u003c\u003e b = b\n a \u003c\u003e Solid (Box 0 0 0) = a\n a \u003c\u003e (Union bs) = union $ a : bs\n (Union as) \u003c\u003e b = union $ as ++ [b]\n a \u003c\u003e b = union [a, b]ヨシ！と思ったが速くならなかった 元のunionのネストが遅いというのがなんか幻覚を見ていたらしい",
"sig": "13f1dca883a3c6b0d3b870f0c1f61a774d26b4ce77745ed58137c4a057f8ed88454715f218f242669ee2ce00649949791ae3177a28fd0d815dcf0d350b7bade0"
}
