Me preguntaba si hay un lenguaje de programación que se compila en código de máquina / binario (no bytecode luego ejecutado por una VM, eso es algo completamente diferente cuando se considera escribir) que presenta una escritura dinámica y / o débil, por ejemplo:

Piense en un lenguaje compilado donde:

Las variables no necesitan ser declaradasSe pueden crear variables durante el tiempo de ejecuciónLas funciones pueden devolver valores de diferentes tipos

Preguntas:

¿Existe tal lenguaje de programación?(¿Por qué no?

Creo que un lenguaje compilado de tipo dinámico pero fuerte realmente tendría sentido, pero ¿es posible?