Ce qui me surprend, c'est qu'on puisse regagner autant en perfs en rajoutant une seule contrainte (certes, elle est de taille) sur un langage déjà conçu.

Après, je suis assez d'accord sur les inconvénients du typage dynamique, perso le système que je trouve le plus propre reste du typage fort avec inférence de type (à la OCaml).

Faudrait faire un Python avec inférence de type, en fait