18 May 2004

Type Inference and Java

By carlfish on 18 May 2004

A stupid type system is one where the programmer is forced to do unnecessary work for the compiler. Java's implementation of static typing is stupid. →