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.

Unnecessary type annotations especially in a non type-safe language like C is a fucking waste of time and a joke.
You're forgetting that C is assembly with macros.

I really can't fathom how you'd achieve that without type annotations. The best you can hope for is to add type inference.