In my mind, what swayed me towards static typing languages was after I played around with Haskell and was able to use the 'deriving' clause.

The realization that with types, smart enough compiler can implement interfaces for me, was amazing.

Unfortunately, I am afraid that it will take a while for these techniques to go mainstream. A.f.a.i.k most a mainstream language can do, is to fill in the method stubs for you.