Capital on Nostr: Well, C is valid for A, and B is valid for A, and obviously A is valid for A. So the ...
Well, C is valid for A, and B is valid for A, and obviously A is valid for A. So the set of types that A equals is... { A B C }. Oh no. That's not a set. A set can't contain itself by definition.
So our data types have to be indivisible. You can't have a hierarchy of types. Thus, this hypothetical language also lacks Inheritance. Types are just free-floating things you re-arrange as needed.
Published at
2023-06-20 07:20:08Event JSON
{
"id": "ec74b8513f60480cc88299c81811329864f892911591e041da39bb2b11bbece1",
"pubkey": "19132ebf4163a2399191bc90c23f33d1fe4945cbe9c807b0d196b172a2701961",
"created_at": 1687245608,
"kind": 1,
"tags": [
[
"e",
"be065d07e9d70effbeadc6f7d3584b0f20e0b55b2b3f601b4d955035504e6559",
"wss://relay.mostr.pub",
"reply"
],
[
"mostr",
"https://furry.engineer/users/CapitalEx/statuses/110575328206685537"
]
],
"content": "Well, C is valid for A, and B is valid for A, and obviously A is valid for A. So the set of types that A equals is... { A B C }. Oh no. That's not a set. A set can't contain itself by definition.\n\nSo our data types have to be indivisible. You can't have a hierarchy of types. Thus, this hypothetical language also lacks Inheritance. Types are just free-floating things you re-arrange as needed.",
"sig": "d81d91e9a8e6c2af8784b38eb8fba82820a74b9baa0dffd6f2c4b9329e5b0d37fe8eaed30f2b7df105521f316f461deb51690936843b1e76699fd6d8350f9d6d"
}
