A full-on approach to Python static type checking.
Python is an amazing programming language; my favorite one for a lot of reasons. With the broad functionality, ease of use, development speed, and friendly community; I could be here all day saying good things about it.
One of the major selling points the dynamic typing, at least initially.
When you start scaling Python and using it on huge projects dealing with a lot of different entities and flows you can make a mistake and find the pitfall of not knowing why your variable is not behaving as you wish it was; between other issues (if you try to statically type an existing codebase with mypy you'll find how bad your code is in terms of type consistency; at least that happened to me).
After fixing a huge mess I wanted to go a step further and not only enforce the typing of functions/classes input and output but to type my standalone variables as well until I found that mypy doesn't check that because his goal is to find the balance between dynamic and static typing; I wanted to go full-on static.
At first, I created a simple file to do this, but soon I found that I needed a proper implementation of this to spread to all my projects and possibly help the community.
I'd like to extend immense gratitude to @alphasensei for pioneering the research and developing the initial proof of concept for this library.
This is an attempt of bringing full-on static typing to Python and, with it, much more robust codebases.
For the core functionality svst uses Abstract Syntax Trees.
Svst can be installed using pip:
python3 -m pip install -U svstYou can type-check the standalone variables of a program like this:
svst DIRECTORY_OR_FILEYou can type-check a program including the mypy functionality like this as well:
svst --mypy DIRECTORY_OR_FILEYou can run a simple check hiding the errors:
svst --mypy --check DIRECTORY_OR_FILE- Vim
- PyCharm
- VS Code
- pre-commit
As you can see this project is still in pretty rough shape and a lot of improvement can be done.
Contributions are what make the open source community such an amazing place to learn, inspire, and create. Any contributions you make are greatly appreciated.
If you have a suggestion that would make this better, please fork the repo and create a pull request. You can also simply open an issue with the tag "enhancement".
Don't forget to give the project a star! Thanks again!
- Fork the Project
- Create your Feature Branch (
git checkout -b feature/AmazingFeature) - Commit your Changes (
git commit -m 'Add some AmazingFeature') - Push to the Branch (
git push origin feature/AmazingFeature) - Open a Pull Request
Distributed under the Mozilla Public License Version 2.0. See LICENSE for more information.