I prefer dynamic types when I prototype and hack on code. I'd prefer if dynamic languages would converge to gradual typing support, and static languages to gra

I prefer dynamic types when I prototype and hack on code. I'd prefer if dynamic languages would converge to gradual typing support, and static languages to gradual dynamic support. TypeScript is an example of the later, and PHP of the former.