cλémentd on Nostr: another day explaining that just because `Vec<A>` and `Option<NonEmpty<A>>` are ...
another day explaining that just because `Vec<A>` and `Option<NonEmpty<A>>` are *isomorphic* does not mean they're *equivalent*.
Published at
2024-01-08 09:14:10Event JSON
{
"id": "75fd12aa510c7263674e0d0f2f6e2807a99bad8216c833e1b6cc175379dec0fb",
"pubkey": "79929f575be33a7f233e0fa0630b5b66573126039a72c48c20ce326c3f5d4b1b",
"created_at": 1704705250,
"kind": 1,
"tags": [
[
"proxy",
"https://framapiaf.org/users/clementd/statuses/111719563268631183",
"activitypub"
]
],
"content": "another day explaining that just because `Vec\u003cA\u003e` and `Option\u003cNonEmpty\u003cA\u003e\u003e` are *isomorphic* does not mean they're *equivalent*.",
"sig": "303bf5a0295409a8f686a69b02625e04fa808e86762f5e9dae646bcb72f7f3a34c6d01aaa6de4650250132ab8a70b12e70284b99e0393b8ac065d6e3427d835f"
}
