Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Immutability can be typed with Java 8's pluggable type systems . There's an implementation of immutable types in the Checker framework.


Sure, but at that point you're not really writing Java any more. If you decide to use Checkers many of Java's plus points (in particular the huge library ecosystem and all the development tools) no longer apply.


The entire JDK is annotated with Checkers types.


Sure, but what proportion of the packages in maven central are?




Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: