Our great sponsors
-
Deal
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
deal is a library for Design-by-Contract.
Where did the data for the test come from? It comes from another awesome library called hypothesis. It smartly generates lots of different test data according to some specific rules we define.
We can even go one step further and represent our contracts as Theorems to be proved. For example, deal has an ongoing research companion project - deal-solver - that can help with that. But, this is a subject for another article of its own, so let's move on for now.
dry-python/returns is a library with primitives that make typed functional programming in Python easier.