Статья 2273

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