Comment by lioeters

> strictly typed subset of the language with compilation and static analysis

This is a great idea for popular dynamic languages with existing users and codebases, particularly the focus on "subset" to limit the scope and emphasizing that full backward compatibility is not a goal; and allowing for gradual, incremental adoption. That makes it a lot more practical to implement and adopt.

I think we'll see more of this. Recent examples include strictly typed TypeScript subset designed for ahead-of-time compilation.