Next Atypical Types 10

I said the question was still open.

In 1999, there was no well-known static type system that did not suck.

(I discussed SML, an academic research language.)

At the time, Java's type system was a craptastic throwback to the 1970's.

In 2008, I think Java 5.0 is a persuasive argument in favor of static typing.

Let's look at the history a bit.

Next Copyright © 1999,2008 Mark Dominus