|
|
|
|
|
|
by marginalia_nu
1168 days ago
|
|
|
I don't think amending the type system (or using the existing type system) would make sense for Java. I think either a null-delegating operator (like C#'s foo.?bar ); or a variable modifier (a bit like 'final') that doesn't permit nulls would make far more sense in the context of the language at large. In fact, the approach is commonly enforced through annotations and static analysis. Built-in support for the construct would be very beneficial. |
|
|