I was refuting the part about typescript (language and the implementation/language server) being a glorified lint - the value proposition is way higher than that.

Even other dynamic languages started moving in this direction due to the benefits of having type annotations brings to tooling/development experience overall.