In the first episode of IntelliJ IDEA Tech Talks, I talk to Moritz Halbritter from the Spring team about JSpecify.
We talk about what JSpecify is, and Moritz shows us how to add JSpecify to a codebase. We had a lot of fun recording this episode; I hope you will enjoy the recording!
Description
Null pointer exceptions have been called the billion dollar mistake. They are a common source of bugs and frustration. JSpecify aims to fix that, and with Spring Boot 4 and Spring Framework 7 now fully on board, it’s time to take a closer look. In this episode, Moritz Halbritter from the Spring team walks us through what this means for your Spring projects and how to adopt JSpecify in practice. Using a live demo, we migrate an existing Spring Boot application, tackling problems along the way. See how to use JSpecify for the contract, IntelliJ IDEA for the developer experience, Spring for the framework, and NullAway for the build guarantee. Whether you’re maintaining a large codebase or publishing a library, this episode gives you the tools to start eliminating null pointer exceptions in your applications.
Chapters
- 00:00:00 – Intro
- 00:01:09 – What is JSpecify?
- 00:03:21 – Adding JSpecify to your application
- 00:08:23 – Add NullAway plugin to check for nullability in the build
- 00:15:25 – Adding NullMarked to your code
- 00:18:38 – Fixing false positives
- 00:33:45 – Using IntelliJ IDEA to find nullability problems
- 00:38:47 – Using JSpecify with Kotlin
- 00:45:13 – Adding null checks if you don’t have any
- 00:51:36 – Summary
Links
- Demo app
- Null Safety in Spring Applications With JSpecify and NullAway by Sébastien Deleuze
- Qodana
- JSpecify
- Libraries that use JSpecify
- Migrate from Spring Framework annotations to JSpecify
- Making JSpecify/NullAway Easier for Maven Users with the Nullability Maven Plugin
- NullAway
- ErrorProne
- Strengthening Kotlin for Backend Development: A Strategic Partnership With Spring
- How Spring Boot Really Works (From a Core Engineer) – Moritz Halbritter | The Marco Show