To a big part the ability to optimize stems form a static and very detailed type system.

In Haskell you happen to know about statelessness from the types, which is an additional bonus. But other statically type languages like Eiffel are also pretty well optimizable.