Graydon Hoare on Nostr: Re last boost: my spicy take is PLs should probably not ship with both of (a) ...
Re last boost: my spicy take is PLs should probably not ship with both of (a) subtyping and (b) first class function types or user-defined generic container types. You can have second class and built in versions of the latter, or omit the former, but otherwise you are probably past the limits of comprehensibility if you are trying to surface parameter variance in the user visible type sublanguage.
(Though if you try anyway, I do like Kotlin’s approach!)
Published at
2024-12-27 19:37:34Event JSON
{
"id": "eadbcb80d9167917d17619cdec26ded79782e0693fbc95807dcb1ab271b88784",
"pubkey": "08499c89c920de1921682450c8192845c3556882efd15c1adf61ccc4906fd7e1",
"created_at": 1735328254,
"kind": 1,
"tags": [
[
"proxy",
"https://types.pl/users/graydon/statuses/113726472492433198",
"activitypub"
]
],
"content": "Re last boost: my spicy take is PLs should probably not ship with both of (a) subtyping and (b) first class function types or user-defined generic container types. You can have second class and built in versions of the latter, or omit the former, but otherwise you are probably past the limits of comprehensibility if you are trying to surface parameter variance in the user visible type sublanguage.\n\n(Though if you try anyway, I do like Kotlin’s approach!)",
"sig": "295535e8cb22abb421bfc5ac7e8eb6a997ec8173896f7d93ec05a64c096cfa0cd799a494272babe8961d7fb06932347013c2fad8e73874fb2903d3ce9207b48b"
}
