Type annotations are the frontend to the pluggable type systems provided by Chec... | Hacker News

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

		pron on March 20, 2014 \| parent \| context \| favorite \| on: Kotlin M7 Type annotations are the frontend to the pluggable type systems provided by Checker (but they were added to Java 8 in order to support Checker): http://docs.oracle.com/javase/tutorial/java/annotations/type... EDIT: I think Java's initial advantages were taking good C++ concepts, simplifying them, and running in a safe environment (GC memory, app can't just crash etc.).

agumonkey on March 20, 2014 [–]

That amounts to Guy Steele quote about moving halfway to Lisp. Haskell is on that same road, just way further.

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