> I wonder why there isn't a popular gradually typed language that natively allows writing both dynamic and type-safe code, allowing quick prototyping and then gradual refactor to type safety.
With the addition of `var`, I think Java is that language.
With the addition of `var`, I think Java is that language.