Un document tagué avec "typing"

Contrats d'annotation, syntaxe moderne, raffinement, protocoles, génériques et frontières d'exécution.