Каждый символ оператора представляет универсальную операцию. Однако благодаря полному описанию данных можно осуществить статическую проверку ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Пратт Т.N.
Языки программирования разработка и реализация
Каждый символ оператора представляет универсальную операцию. Однако благодаря полному описанию данных можно осуществить статическую проверку типов данных и трансляцию универсальных операций в специфические ( зависящие от типа операндов) операции объектной программы. Автоматического преобразования типов в арифметических выражениях не предусмотрено - слева и справа от оператора должны стоять операнды корректного типа, иначе будет зафиксирована синтаксическая ошибка.
