I like type inferencing, like in Haskell. You gain the benefits of static typing, but you do not have to explicitly write the types all over the place. I find t

I like type inferencing, like in Haskell. You gain the benefits of static typing, but you do not have to explicitly write the types all over the place. I find that the exploratory phase goes more quickly with the compiler there to provide a sanity check.