Null-safety turns hidden runtime failures into visible compile-time guarantees
Read more 👉 https://lttr.ai/Aoqeq
Null-safety turns hidden runtime failures into visible compile-time guarantees
Read more 👉 https://lttr.ai/Aoqeq
JSpecify and Spring Null-safety
▸ https://lttr.ai/AoS59
Java-GI 0.14.0 has been released!
Release notes: https://github.com/jwharm/java-gi/releases/tag/0.14.0
Highlights:
- all bindings updated to #GNOME 49 version
- #JSpecify nullability annotations everywhere
For those who don't know, Java-GI is a #Java language binding for GNOME (and other GObject-Introspection libraries) based on the new FFM API in OpenJDK. It's modern, fast, and very easy to use. Visit https://java-gi.org for more information!
70 % aller Fehler in Java-Produktionscode sind #NullPointerExceptions. Mit #NullAway & #JSpecify lassen sie sich statisch verhindern – ohne große Umbauten. Richard Gross zeigt, wie Teams sicher & schrittweise migrieren.
Details: https://javapro.io/de/wie-man-den-milliarden-dollar-fehler-repariert/
@SpringCentral @UberEng
I'm adding JSpecify nullability annotations to Java-GI, and learning a lot along the way. For example, a nullable array with non-null Strings is a `@NonNull String @Nullable [] array`.
Today I learned you can annotate the "..." vararg symbol too: `public void foo(int i, @NonNull String @Nullable ... strs)`