> I wonder why there isn't a popular gradually typed language that natively allows writing both dynamic and type-safe code Unless I'm misunderstanding somethin

> I wonder why there isn't a popular gradually typed language that natively allows writing both dynamic and type-safe code Unless I'm misunderstanding something, PHP7 can do exactly that. With regards to the general trend you mention about adding static-ish typing to dynamically typed languages, the opposite is also happening to some extent. I work in a medium sized company that does mainly .NET and I see C# devs use `var` a lot (in order to let the compiler infer the type instead of having to declare it explicitly). I'm not sure if the `dynamic` type is also seeing increased use, but just the fact that it was added to the language in v4 says at least a little. I think what is really happening is that the more popular languages will sort of naturally converge as development progresses and more and more people request features. So while Mr. PHP-dev-turned-to-C# will maybe want more dynamic-ish typing in C#, Mr. C#-dev-turned-to-PHP will request more static-like typing in PHP.