I think the problem trying to build a new type system for JS in the current ecosystem is that so much of the value of the current solutions are provided by thei

I think the problem trying to build a new type system for JS in the current ecosystem is that so much of the value of the current solutions are provided by their deep IDE integration. Having a great type checker is great, but if I don’t get any of the IDE functionality etc, it’s losing half the value.