A compiler may also use the static type of a value to optimize the storage it needs and the choice of algorithms for operations on the value.
Компилятор также может использовать статический тип значения для оптимизации хранилища и для выбора алгоритмической реализации операций над этим значением.