Dynamic typing is for faggots

and by faggots, I mean web developers.

Q: Several top US universities have been using LISP for AI research since the 1970s. What have they achieved?
A: Nothing that can't be done in Haskell during a 5 minute coffee break.

>>1
Unnecessary type annotations especially in a non type-safe language like C is a fucking waste of time and a joke.
Languages which support type inferrence, (like SML for example) and also have type safety are of godly power.
Dynamic languages with runtime safety are perfect for writing elegant and readable code in, letting the compiler do micro-optimisation leaving you to concentrate on algorithms.

So my conclusion is, fuck C.