Los lenguajes con tipos estáticos pueden manejar tipos "explícitos" o tipos "inferidos".