PyContracts

Voir :

Notes - Python - Static type code analyzer

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