Mais pas que, la performance peut être liée au fait que justement grâce à l'analyse statique, le compilateur peut supprimer les méta-informations de type, et dénouer les abstractions (par exemple le Rust est langage qui se veut avoir des "zéro-cost abstractions"). Ce n'est malheureusement possible que si le typage est strict et sans ambiguïté possible: en Python ça ne sera juste jamais possible à cause des possiblités de monkey patching. L'un ne va pas sans l'autre en réalité, le typage et l'analyse statique permettent par la preuve formelle de garantir un code sans bug, et la garantie et la prédictibilité de ce qui va être exécuté permet les optimisations.
[^] # Re: la vitesse d'exécution n'est pas le principal intérêt d'un compilateur à mes yeux.
Posté par Christie Poutrelle (site web personnel) . En réponse au journal Pythran 0.8.5 - de l'intérêt des compilateurs. Évalué à 7.
Mais pas que, la performance peut être liée au fait que justement grâce à l'analyse statique, le compilateur peut supprimer les méta-informations de type, et dénouer les abstractions (par exemple le Rust est langage qui se veut avoir des "zéro-cost abstractions"). Ce n'est malheureusement possible que si le typage est strict et sans ambiguïté possible: en Python ça ne sera juste jamais possible à cause des possiblités de monkey patching. L'un ne va pas sans l'autre en réalité, le typage et l'analyse statique permettent par la preuve formelle de garantir un code sans bug, et la garantie et la prédictibilité de ce qui va être exécuté permet les optimisations.