Mandatory types is obvious—it needs to be compatible with existing JS code. Gradual typing is entirely plausible (and I think highly likely), and from there it&#x27;s easy to add some static lint that ensures a codebase is statically typed.