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.
Компилатор може такође користити статички тип вредности да оптимизује складиште које му је потребно и избор алгоритама за операције над вредностима.