Выдержка из книги
Пратт Т.N.
Языки программирования разработка и реализация
Информация о свойствах операций, содержащаяся в декларациях, используется в основном для тех же целей, что и информация о свойствах структур данных: упростить управление памятью и статическую проверку типов.