I would say there can be definitely useful. I work with some teams that were like very reluctant to use any of those tools. So if some tool doesn't work well for you, you should kind of configure it or maybe replace it. But my problem with type hints is the same problem as with test and documentation. It's not strictly a problem, but it's a yet another thing that you have to take care of. And when you're using it wrong, your editors will like put some kind of squiggly or something and say, no, no, you're usingit wrong.