Comment by afdbcreid
7 hours ago
But also come with a plausible implementation strategy, that from what I know is not currently known for no-panic.
7 hours ago
But also come with a plausible implementation strategy, that from what I know is not currently known for no-panic.
Out of curiosity, is there some reason it would be harder than I'm imagining? It seems like a fairly straightforward type-system feature. (I.e., it would be a lot of work, but only because any significant new language feature is a lot of work.)