Reliable Python. Viafor P.

Modern Python projects are constantly growing, developing and at the same time inevitably complicated. The reliability of the Python code while maintaining the flexibility, understandability and expansion of the applications allows the system of types, which in this book is detailed in the framework of the PLA paradigm. Particular attention is paid to annotation and verification of types, as well as the creation of user specialized types.

The advanced chapters of the book are devoted to the issues of testing, lending and ensuring the reliability of programs on Python.