Many of the "dynamically typed language" features can be had in statically typed languages as well: there are statically typed languages that have REPls for exa

Many of the "dynamically typed language" features can be had in statically typed languages as well: there are statically typed languages that have REPls for example. Your point about having higher productivity in the beginning and then retrofitting types after that still stands though.