No hay que confundir el término con los lenguajes de tipos dinámicos, en los que los tipos