Здравствуйте, Temoto, Вы писали:

FDS>>Полиморфизмы можно и без типов сделать

T>Можно поподробнее? Как компилятор узнает какую именно реализацию оператора сложения подставить, если ему неизвестен тип операндов?

У вас во всех операндах должен быть определён один и тот же метод "+", который хранится в словаре методов. Компилятор, точнее интерпретатор, посмотрит на то, что все методы в объектах одинаковые, и применит их соотв. образом.