Nous avons tendance à oublier un fait important. Fondamentalement, il existe 2 types de langage :

- langage interprété

- langage compilé

Un langage compilé est souvent appelé langage natif car il est exécuté directement sur l'ordinateur cible par un exécutable. L'exécutable est un binaire généré par le compilateur. Le code est compilé et il est transformé en langage machine compatible avec la ou les plateformes cibles. Par exemple : C, C++, Rust, Swift, Kotlin.

Un langage interprété n'est pas un langage compilé. Le code est exécuté par un interpréteur (un runtime, une machine virtuelle). Il n'y a pas de compilateur, du moins, pas directement. Par exemple : Python, JavaScript, etc. Le code JS passe par un moteur d'exécution pour le "compiler" et le rendre utilisable. 

Sur le web, on fera souvent de l'interprété. Sur desktop et mobile, la compilation est naturelle même si une approche hybride est possible. 

Image : Joel Gray