>>24
I used to dislike static typing when my only exposure to it had been the C class of languages (including Java). That changed after I was introduced to languages with well thought out strong type systems, like OCaml and Haskell.
Especially Haskell of those two is most likely higher level than whatever dynamically typed language you are using right now.