Improving data type safety in Python code using automation
Paattilammi, Leevi (2025)
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:amk-2025053018360
https://urn.fi/URN:NBN:fi:amk-2025053018360
Tiivistelmä
In this engineering thesis the concept of type safety and the possible lack thereof in computer programs written in the Python programming language are explored in detail, along with an investigation of methods and tools with which the possibility of programming bugs caused by type safety issues could be mitigated in real world codebases.
Even though case studies showed that the improvement of type safety in projects written with Python has great benefits, a lot of developers still neglected it. To help remedy this, a demo project with type safety enforcement was created to inspire fellow developers.
To create the project, multiple type checking tools were investigated, evaluated and compared against each other. With the best tools selected, an example project with a demonstrated multi-layered type safety enforcement workflow was created for the benefit of smaller teams or solo developers who may utilize it as a basis for type safety enforcement in their own codebases.
Even though case studies showed that the improvement of type safety in projects written with Python has great benefits, a lot of developers still neglected it. To help remedy this, a demo project with type safety enforcement was created to inspire fellow developers.
To create the project, multiple type checking tools were investigated, evaluated and compared against each other. With the best tools selected, an example project with a demonstrated multi-layered type safety enforcement workflow was created for the benefit of smaller teams or solo developers who may utilize it as a basis for type safety enforcement in their own codebases.