Comment by za3faran | Hacker News Reader

Top New Best Ask Show Jobs

Comment by za3faran | Hacker News Reader

Parent Full thread

Also solved for Java:

* https://jspecify.dev/docs/user-guide/

* https://openjdk.org/jeps/8303099

It says: "Status - Draft"

Nullness annotations are already usable. The JEP is for further integration into the type system.

Reply on news.ycombinator.com