Comment by xboxnolifes

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