{{tag>Code Python}}

= 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

<code bash>
pipenv install PyContracts
</code>

<code python>
# 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

</code>