Re:JVM/Java: Null-Restricted and Nullable Types
by jiehong on Friday August 02, 2024 @05:57AM
(#41137451)
At the end, there is this section:
> Providing a mechanism in the language to assert that all types in a certain context are implicitly null-restricted, without requiring the programmer to use explicit ! symbols.
Could be nice, even if just as a compiler flag or a module tag.
> Providing a mechanism in the language to assert that all types in a certain context are implicitly null-restricted, without requiring the programmer to use explicit ! symbols.
Could be nice, even if just as a compiler flag or a module tag.