Sure, but at that point you're not really writing Java any more. If you decide t... | Hacker News

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

		lmm on April 27, 2014 \| parent \| context \| favorite \| on: Go's power is in emergent behavior 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.

pron on April 28, 2014 [–]

The entire JDK is annotated with Checkers types.

lmm on April 28, 2014 | [–]

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