Jspecify

4 révélations qui vont transformer votre approche de la null-safety en Java (JSpecify + NullAway)

TL;DR #

• JSpecify 1.0.0 met fin à la tour de Babel des @Nullable en standardisant 4 annotations stables.
• @NullMarked inverse le défaut : non-null par défaut, @Nullable devient l’exception visible.
• IDE et CI convergent : IntelliJ et NullAway se sont alignés (notamment sur les suppressions).
• TYPE_USE rend la nullité “chirurgicale” (tableaux, génériques), mais il faut apprendre la grammaire.

Lire la suite →