What are the specific features from dynamically typed languages that you would want to see in a statically typed program. The standard argument is "ease of use", but programs in modern static languages tend to be as easy/terse/short. You can express the same ideas in both languages, except static languages provide more information. So, what feature of dynamic languages, that is incredibly helpful to you every day, will you miss when you switch to a modern static language?