Description
L'arrivée des annotations de fonction dans Python 3 a permi l'émergence d'outils prônant le typage statique dans Python, la plus grande réussite étant l'outil mypy.
La mythologie autour du typage statique se veut rassurante, enfin on va pouvoir faire confiance au compilateur plutôt qu'à notre suite de test pour vérifier une forme de correction de programe, ce qui permettra de passer à l'échelle sereinement !
Pendant cette présentation, on va s'amuser à décortiquer cette promesse de typage statique pour en faire ressortir les limites, en se basant sur l'outil mypy, quelques paquets assez standard et quelques fonctions anodines mais pas moins coquines...