Я задавался вопросом, существует ли язык программирования, который компилируется в машинный код / ​​двоичный код (не байт-код, затем выполняемый виртуальной машиной, это что-то совершенно иное, если учитывать типизацию), который имеет динамическую и / или слабую типизацию, например:

Подумайте о скомпилированном языке, где:

Переменные не нужно объявлятьПеременные могут быть созданы во время выполненияФункции могут возвращать значения разных типов

Вопросы:

Есть ли такой язык программирования?(Почему бы и нет?

Я думаю, что динамически, но сильно типизированный, скомпилированный язык действительно будет иметь смысл, но возможно ли это?