|
|
|
|
|
|
by kazinator
1339 days ago
|
|
|
"null-safe type" is a term which takes the perspective of backpedaling out of a mistake, which keeps highlighting the mistake. The mistake is unnecessary in the first place; types do not naturally have a null in them that has to be exorcised. For instance, when we think of a type like "the natural numbers", that's just a set of 1, 2, 3, ... there is no "null reference to Integer" in there. Thus I think terms like "null-safe type" is just something we should leave to Java programmers, and not use as a way to talk about types. |
|
|