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?




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

Search: