I think people who enjoy dynamic typing have had bad experiences with bad static type systems earlier (C, C++, Java). Once you use a good static type system (M

I think people who enjoy dynamic typing have had bad experiences with bad static type systems earlier (C, C++, Java). Once you use a good static type system (ML, OCaml, Haskell) you see that dynamic typing isn't responsible for the joy, but the ability to express rich ideas without repeating redundant type declarations.