True, but Matz didn't know a lot of things about programming languages and luckily for me, he didn't care and reinvented them anyways.

Especially as the upcoming BitC language seems to have sound _and_ complete type inference http://en.wikipedia.org/wiki/BitC