Since 2014, when this was written, (gradually) typed versions of several major formerly 100% dynamic languages have become mainstream, primarily Python and Javs

Since 2014, when this was written, (gradually) typed versions of several major formerly 100% dynamic languages have become mainstream, primarily Python and JavsScript (TypeScript)