En effet, mais il est nécessaire d'avoir de l'inférence de type pour que ce soit utilisable sinon il faudrait recoder la totalité de ton code dans le système de type (pour gérer les combinatoires), bref ça demande à prouver ton programme :)
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)
[^] # Re: PEP 484 : module typing, le nouveau standard pour les annotations de typage
Posté par barmic . En réponse à la dépêche Parution de Python 3.5. Évalué à 3.
En effet, mais il est nécessaire d'avoir de l'inférence de type pour que ce soit utilisable sinon il faudrait recoder la totalité de ton code dans le système de type (pour gérer les combinatoires), bref ça demande à prouver ton programme :)
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)