"Just as we learned to embrace languages without static type checking, and with the ability to shoot ourselves in the foot" I've moved on from dynamic language

"Just as we learned to embrace languages without static type checking, and with the ability to shoot ourselves in the foot" I've moved on from dynamic languages to "static typing that doesn't suck" (Haskell).