I have found the main advantage of static typing being easy, convenient refactoring. I never get my design or code to be just "right" the first time. I get the

I have found the main advantage of static typing being easy, convenient refactoring. I never get my design or code to be just "right" the first time. I get the naming wrong, the functions too big, the design a bit skewed. I need to do a couple of passes, refactoring to get it in a tight shape. And statically typed languages give you tools to refactor with confidence. This is one of the advantages of typescript over a language like clojurescript.