News for hackers. Stuff that matters.

A comment on JVM/Java: Null-Restricted and Nullable Types. Parent comment

Re:JVM/Java: Null-Restricted and Nullable Types by emccue on Saturday August 03, 2024 @03:30PM (#41148672)
To use the terminology from JSpecify:

    null-marked module accounting {
    
    }
Could very well be the sort of thing that comes next.
[ Parent | on HN ]

There are no comments on this comment yet.