Most of the gradual type systems I've seen are targetting existing languages: you want to interact with existing libraries that don't have type annotations.
Are there many greenfield languages with gradual types? It's a useful technique in other cases, such as refactoring.
miniblog.
Related Posts
When you start a greenfield project, there will be parts of your code that you write and will never need to modify again.
It's weird, and I don't think this phenomenon really occurs in established projects.