Robuta

https://thoughtbot.com/blog/javascript-type-systems-are-not-linters JavaScript Type Checkers are More than Linters Treating your JavaScript type checker as a linter doesn't allow you to fully leverage your static type system. type checkers more than javascript linters https://researchr.org/publication/RouvoetAPKV20/bibliographies Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative... name resolution type checkers knowing ask sound