Pas forcément : le gros du travail (l'inférence de type et les vérifications qui vont avec) est fait à la compilation. Un des buts de ce genre de langages est de vérifier le maximum de propriétés lors de la compilation, pour avoir autant de garanties théoriques sur l'exactitude de ton code.