Type checking helps to reduce the amount of bugs and to understand the software by making the developers know which type is expected for each variable.

Python code can be type checked using tools like mypy that use PEP 484 notation.

Also, python typing can be gradual, so there is no need to add it to the entire codebase at once.

Type checking can be achieved using either type annotations, stub files or special comments. Which method would be easier for sourcehut ?