Subsets of TypeScript are an interesting idea. If you could remove mutation and push imperative APIs into a library that calls you, you might wind up with something like Elm.