Ver lenguaje de programación para una discusión más amplia de la interacción entre tipado estático y dinámico.