> In Python, I've even heard of people writing types in source code but never checking them, essentially using type hints as a more convenient syntax for commen

> In Python, I've even heard of people writing types in source code but never checking them, essentially using type hints as a more convenient syntax for comments. Note that there's IDEs that'll use type hints to improve autocomplete and the like too, so even when not checking types it can make sense to add them in some places.