Статья 2275

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