T>>Расскажите, пожалуйста, зачем нужны системы типов. Какие задачи они решают?

T>>Например, очевидно, что типы позволяют производить проверки корректности кода, диспатчить полиморфизмы типа оператора сложения (хотя здесь я не уверен).

Спасибо за ответ.

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

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