Hacker News Reader

With such a broad definition of linter, wouldn't the type systems of all statically typed languages just be high-powered linters?

View on HN

I’ve worked on several TS projects that don’t type check but still “compile” (emit non-TS JavaScript). To me that’s the difference between a linter and a compiler, and I wish those projects had stopped compiling when they could no longer type check.

Good news! There is a configuration option for that: https://www.typescriptlang.org/tsconfig/#noEmitOnError

No, in most static languages, the type system influences code generation.

Reply on news.ycombinator.com