refinement-types

Here are 3 public repositories matching this topic...

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

Phantom types for Python.

python validation static-analysis typing python3 refinement-types mypy phantom-types static-typing refined refined-types

Refinement types for Python

python python3 refinement-types hacktoberfest type-hints

Add a description, image, and links to the refinement-types topic page so that developers can more easily learn about it.

To associate your repository with the refinement-types topic, visit your repo's landing page and select "manage topics."