Основные понятия традиционного программирования

В этом разделе мы рассмотрим некоторые понятия императивных и объектно-ориентированных языков программирования. Мы будем обращаться к таким языкам программирования, как Ada, С, C++, С#, FORTRAN, Java и Pascal. FORTRAN, Pascal и С относятся к императивным языкам третьего поколения. C++ является объектно-ориентированным языком, разработанным как расширение языка С. Языки Java и С# — это тоже объектно-ориентированные языки, созданные на основе языка C++. (Язык Java был создан компанией Sun Microsystems, a C# является продуктом компании Microsoft.) Ada первоначально создавался как императивный язык третьего поколения, обладающий свойствами объектно-ориентированных языков. Однако его новейшая версия более всего соответствует парадигме объектно-ориентированных языков.

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

Хотя мы и включили объектно-ориентированные языки, такие как C++, Java и С#, в список рассматриваемых языков, в этом разделе мы чаще будем обращаться к императивным языкам, поскольку многие компоненты программы, написанной на объектно-ориентированном языке (например, процедуры, описывающие, как объект должен реагировать на внешний стимул), в сущности, являются небольшими императивными программами. Отличительные характеристики объектно-ориентированных языков программирования мы рассмотрим в разделе 5.5.