It would be nice to have a language with a scalable type system. Allow dynamic typing for quick prototyping and exploratory programming, then layer on static typing as needed for performance and reliability. For example start by declaring a variable, which could be anything. Then constrain it to be a number. Then a floating point number. Then a floating point number in the range [0.0, 1.0). And please optimize for performance instead of precision. Etc.