C'est sûr qu'on trouvera toujours des cas tirés par les cheveux (ou pas), qui mettent à mal le type hinting, l'inférence de type, et toutes ces notions issues du typage statique.
Parfois, ces choses (qui ne sont pas possibles avec un langage à typage statique) sont bien pratiques, nous sommes d'accord. Cependant, je suis persuadé qu'il est possible de les limiter à quelques cas bien précis et bien délimités, avec 99% du code qui pourrait être en typage statique (avec toutes les garanties que cela apporte).
En tout cas, c'est comme ça que j'essaie de construire mon code, ça augmente certes le nombre de variables (vu que je me force à ne pas utiliser des types différents avec la même variable) mais ça augmente la sécurité (vu que l'inférence de type de Pycharm fonctionne beaucoup mieux).
[^] # Re: C'est intégré dans Python 3.5
Posté par flan (site web personnel) . En réponse au journal MyPy 0.3 sort bien accompagné. Évalué à 4.
C'est sûr qu'on trouvera toujours des cas tirés par les cheveux (ou pas), qui mettent à mal le type hinting, l'inférence de type, et toutes ces notions issues du typage statique.
Parfois, ces choses (qui ne sont pas possibles avec un langage à typage statique) sont bien pratiques, nous sommes d'accord. Cependant, je suis persuadé qu'il est possible de les limiter à quelques cas bien précis et bien délimités, avec 99% du code qui pourrait être en typage statique (avec toutes les garanties que cela apporte).
En tout cas, c'est comme ça que j'essaie de construire mon code, ça augmente certes le nombre de variables (vu que je me force à ne pas utiliser des types différents avec la même variable) mais ça augmente la sécurité (vu que l'inférence de type de Pycharm fonctionne beaucoup mieux).