Haskell. The type system eliminates a huge segment of errors that you only discover later in more dynamic langauges.