Я задавался вопросом, есть ли язык программирования, который компилируется в машинный код/двоичный (а не байт-код, который затем выполняется VM, что-то совершенно другое при рассмотрении ввода), которое характеризуется динамической и/или слабой типизацией, например:
Подумайте о компилированном языке, где:
- Переменные не должны быть объявлены
- Переменные могут быть созданы во время выполнения
- Функции могут возвращать значения разных типов
Вопросы:
- Есть ли такой язык программирования?
- (Почему) не?
Я думаю, что динамически, но сильный типизированный, скомпилированный язык действительно будет ощущать, но возможно ли это?