Existe uma linguagem de programação * compilada com digitação dinâmica, talvez até fraca?

Gostaria de saber se existe uma linguagem de programação que compila o código da máquina / binário (não o bytecode então executado por uma VM, isso é algo completamente diferente ao considerar a digitação) que apresenta digitação dinâmica e / ou fraca, por exemplo:

Pense em uma linguagem compilada em que:

Variáveis não precisam ser declaradasVariáveis podem ser criadas durante o tempo de execuçãoFunções podem retornar valores de diferentes tipos

Questões:

Existe tal linguagem de programação?(Por que não?

Eu acho que uma linguagem compilada dinamicamente, porém forte, realmente sentiria, mas é possível?