Type checking is a good idea for a number of reasons. It helps with a number of bug classes, and also serves to document the code.
We should configure mypy for this project and enable type checking within CI. We should then gradually introduce typing to this project.
To be clear, this issue is targeting adding type checking on tasktiger's source code. NOT type checking for tasks functions implemented with tasktiger.
Type checking is a good idea for a number of reasons. It helps with a number of bug classes, and also serves to document the code.
We should configure
mypy
for this project and enable type checking within CI. We should then gradually introduce typing to this project.To be clear, this issue is targeting adding type checking on tasktiger's source code. NOT type checking for tasks functions implemented with tasktiger.