Same problems with linters: people write weird code and&#x2F;or introduce unnecessary changes to correct code that doesn&#x27;t pass the check.<p>Also, optional type checkers throw away a lot of the upsides of type systems (safe refactoring, type-aware optimizations, useful generics) so they&#x27;re kind of a worst-of-both-worlds solution.