PyContracts

Voir :

• Notes - Python - Static type code analyzer
• https://pypi.python.org/pypi/PyContracts
• https://www.hillelwayne.com/post/contracts/

Voir aussi :

• icontract
• mypy

Voir programmation par contrat en générale :

• http://luchermitte.github.io/blog/2014/05/24/programmation-par-contrat-un-peu-de-theorie/
• http://ghferr.free.fr/wiki/Generalites/paradigmes_contrat.php
• https://www.wikizero.com/fr/Programmation_par_contrat

pipenv install PyContracts

# coding: utf-8
 
from contracts import contract
 
#contracts.disable_all()
 
@contract
def div(a, b):
    """
    Simple division
    :type a: int,>0
    :type b: int,>0
    :rtype: float,>0
    """
    return a / b