MozokВозникла задача написать что-то наподобие интерпретатора языка программирования.
Как следствие - масса объектов, тип которых определяется в рантайме и которые не имеют между собой ничего общего.
Сейчас это все работает на шаблонах С++ со специализациями, но выглядит довольно некрасиво.
Посмотрел в сторону Smalltalk и Python - вроде бы короче и понятнее получится.
Но оба являются интерпретируемыми языками, не проходят по требованиям заказчика.
Подскажите, пожалуйста, хороший язык со слабой типизацие.
--------------
Festina lente

Отвязно.
Так известно у Python-а много реализаций, среди которых есть и с компиляцией (в т.ч. под JVM).
Существование ещё и интерпретации - скорее плюс.
Smalltalk вроде существует на своей виртуальной машине, в байт-код которой и компилируется.
И хорошо бы спросить у заказчика - компиляция ему нужна с какого бока (а может быть - с какого перепоя, в зависимости от задачи с учетом мощи современных даже недорогих компов).
(По первоположенностям интерпретация - тоже компиляция, но трансляция во ч.-л. выполняемое не всего кода в целом и сразу, а кусками при выполнении кусками же. И не факт, что интерпретация будет всегда заметно более ресурсозатратная, вялая, подвисающая, приторможивающая, ...).


По задаче.
То есть набор объектов как детский конструктор, а надязык нужен - для описания того, что нужно собрать?
Тогда слабость типизации - это вопрос не надязыка. То есть может быть надязык так интерпретировать так, чтобы слабая типизация не была нужна?
P.S. Это так вышло - что интерпретация попала на C++ - язык со слабой типизацией.

Так видится сюжет.