> but I doubt it can be useful without proper integration with the language itself

So projects like mypy or sorbet aren't useful because they aren't properly integrated?