Don't forget Scala, which is a strongly typed language in the tradition of ML or Haskell. Type-erasure in the JVM does limit what you can do with static typing somewhat but Scala is proof that it's quite doable.