Capital on Nostr: I honestly just want a functional programming language that has the following: - ...
I honestly just want a functional programming language that has the following:
- Flow-sensitive typing
- Intersection and Union types (with an ADT short hand)
- Polymorphic record types
Published at
2023-07-04 04:05:22Event JSON
{
"id": "2f1c1e0e0f69c22b55ff826cfaa14f1b4d4a1ba975ae60236f8ec145916ca41a",
"pubkey": "19132ebf4163a2399191bc90c23f33d1fe4945cbe9c807b0d196b172a2701961",
"created_at": 1688443522,
"kind": 1,
"tags": [
[
"e",
"9946c4ff3e63f8086c155eab66a5057295bf8cd17707c5d8222ef45ff8cad12b",
"wss://relay.mostr.pub",
"reply"
],
[
"mostr",
"https://furry.engineer/users/CapitalEx/statuses/110653834668258994"
]
],
"content": "I honestly just want a functional programming language that has the following:\n\n- Flow-sensitive typing\n- Intersection and Union types (with an ADT short hand)\n- Polymorphic record types",
"sig": "f36e3ee1a6f78abd0cc2c81d0483a85d1f6179529993f2b9abaced2431fd3c6620c3f81ff5cb6033b190bd5c826c21d0bf8b032ca4353899b91a77c6ed1b41c8"
}
