Quote: "If you can have both -- short code and static typing -- then more power to you. I just haven't seen it myself."
Take a look at Haskell (http://haskell.org/). Automatic static typing, with very concise, but yet very readable syntax. And you get to eliminate all the bugs associated with side-effects (like state and specifying order of evaluation).