JSpecify 1.0.0 및 자바의 널 가능성
JSpecify 1.0.0은 자바 가상 머신(JVM) 언어에서 널 가능성을 위한 공통 주석 유형을 정의하는 프로젝트입니다. 이는 정적 분석 개선과 언어 간 상호 운용성을 목표로 하며, OpenJDK, Kotlin, Spring 등이 지원을 약속한 주석을 포함합니다. 이는 자바 생태계 전반의 널 안전성을 향상시키는 데 도움이 될 것입니다.