Пратт Т. Языки программирования. Разработка и реализация
Подождите немного. Документ загружается.
54 Глава 1. Проблемы разработки языка
тору выделить для них память и вычислить формулы доступа для таких ло
кальных переменных.
Чтобы предоставить компилятору информацию о раздельно скомпилирован
ных подпрограммах, совместно используемых объектах данных и определении
типов, язык может:
1) либо требовать, чтобы эта информация объявлялась еще раз внутри подпрог
раммы (как в языке FORTRAN);
2) либо предписывать конкретный порядок компиляции, то есть перед компи
ляцией каждой подпрограммы должна производиться компиляция опреде
лений всех вызываемых подпрограмм и совместно используемых данных
(как в языке Ada и до некоторой степени в Pascal);
3) либо требовать при компиляции наличия библиотек, содержащих все соот
ветствующие определения, так чтобы компилятор мог получать их по мере
необходимости (как в языках Java и C++).
Термин «раздельная компиляция» обычно используется для первого варианта.
В этом случае каждая подпрограмма может быть скомпилирована без какойлибо
внешней информации и является вполне самодостаточной. Недостатком раздельной
компиляции является то, что обычно нет возможности проверить согласованность
информации о внешних подпрограммах и данных, которые еще раз объявляются
внутри подпрограммы. Если описания внутри подпрограммы не соответствуют
действительным структурам внешних данных и подпрограмм, то на этапе сборки
программы возникает трудноуловимая ошибка, которую не обнаружить при раз
дельной компиляции различных частей программы.
Варианты 2 и 3 требуют наличия в языке возможности того, чтобы специфика
ции подпрограмм, типов данных и общего окружения были предоставлены или
помещены в библиотеку еще до компиляции подпрограммы. Для этих целей жела
тельно, чтобы язык позволял определять подпрограммы с единственным обяза
тельным заданием раздела спецификаций, а тело подпрограммы (локальные пере
менные и операторы) могло бы быть опущено. При этом следует предусмотреть
возможность в последующем отдельной компиляции тела подпрограммы. В языке
Ada, например, любая подпрограмма, задача или пакет разбиты на две части: спе
цификация и тело, которые могут быть скомпилированы по отдельности или по
мещены в библиотеку, если это требуется для компиляции других подпрограмм.
Вызов подпрограммы, которая еще не была скомпилирована, называется заглуш
кой. Подпрограмма, содержащая заглушки, может быть выполнена. В тот момент,
когда очередь доходит до заглушки, вместо вызова подпрограммы происходит вы
вод на печать системного диагностического сообщения (или осуществляется ка
коелибо другое действие). Таким образом, раздельно скомпилированную програм
му можно запускать на тестовое выполнение, даже если код некоторых вызываемых
из нее подпрограмм еще недоступен.
Другим аспектом раздельной компиляции, влияющим на строение языка, яв
ляется наличие совместно используемых переменных. Если различные группы
разработчиков пишут отдельные части большой программы, обычно бывает труд
но гарантировать, что все имена переменных, используемые каждой группой для
подпрограмм и общего окружения, будут различными, то есть не произойдет слу
55
чайного совпадения имен. Обычным делом при сборке программы в единое целое
является обнаружение одинаковых имен в различных подпрограммах или других
компонентах программы. Как правило, это приводит к кропотливому и трудо
емкому исправлению уже оттестированного кода. Для избежания этой проблемы
в языках применяется три метода.
1. Каждое совместно используемое имя (например, в операторе extern языка C)
должно быть уникальным. Обеспечение выполнения этого требования вхо
дит в обязанности программиста. В начале работы должно быть составлено
соглашение об использовании имен, так чтобы каждой группе выделялся
свой набор имен для использования в подпрограммах (например, все имена,
используемые некоторой группой, должны начинаться с QQ ). Так, все имена,
используемые в стандартных, включаемых директивой #include, файлах C,
начинаются с символа _, поэтому программистам не рекомендуется исполь
зовать имена, начинающиеся с символа подчеркивания.
2. Для того чтобы скрыть имена, в языках программирования часто использу
ются правила определения области видимости. Если в некоторой подпро
грамме содержится еще одна подпрограмма, то другим раздельно компилиру
емым программам будет известно только имя самой внешней подпрограммы.
Этот механизм используется в таких языках, как Pascal, C и Ada. Более по
дробно блочная структура и область видимости имен рассмотрены в разде
ле 9.2.2.
3. Имена могут становиться известными путем явного добавления их опреде
лений из внешней библиотеки. В объектноориентированных языках этот
способ является основным механизмом реализации наследования. Путем
добавления описания внешних классов в подпрограмму становится воз
можным определять другие объекты этого класса, как в языках Ada и C++.
В языке Ada имена также могут быть перегружены (overloaded), то есть не
сколько объектов могут иметь одно и то же имя. До тех пор пока компиля
тор может определить, на какой именно объект указывает данное имя, не
требуется никаких изменений в вызывающей программе. Более подробно
перегрузка описана в главе 7.
Тестирование и отладка. Большинство языков имеют различные возможности
для облегчения тестирования и отладки. Ниже приведено несколько характерных
примеров.
1. Возможность трассировки. Prolog, LISP и многие другие интерактивные
языки предоставляют программисту возможность отмечать конкретные
операторы или переменные для их отслеживания во время выполнения
программы. Всегда, когда выполняется помеченный оператор или поме
ченная переменная принимает новое значение, выполнение программы
прерывается и вызывается заданная подпрограмма трассировки (которая,
как правило, выводит на печать соответствующую информацию по от
ладке).
2. Точки останова. В интерактивных средах программирования обычно обес
печивается возможность обозначать некоторые места программы как точки
останова. Когда в процессе выполнения программы достигается точка оста
1.4. Среда программирования
56 Глава 1. Проблемы разработки языка
нова, выполнение программы прерывается и контроль передается програм
мисту, сидящему за терминалом. Он может проверить и изменить значения
переменных и запустить программу заново с момента останова.
3. Утверждение. Утверждение — это условное выражение, которое вставляет
ся в программу в виде отдельного оператора, например,
assert (X>0 and A=1)or (X=0 and A>B+10).
Утверждение определяет, какие соотношения должны выполняться между
переменными в данном месте программы. Если включен режим обработки утвер
ждений, компилятор вставляет в откомпилированную программу соответст
вующий код для проверки указанных условий. Если в процессе выполнения
программы переменные не удовлетворяет заданным соотношениям, то выпол
нение программы прерывается и обработчик исключительных ситуаций выво
дит на печать некоторое сообщение или предпринимает какоелибо иное дей
ствие. После отладки программы утверждения могут быть отключены, так что
компилятор не будет генерировать код для их проверки. Впоследствии они мо
гут использоваться как полезные комментарии, облегчающие документирова
ние программы. Эта простая концепция присутствует в нескольких языках, в том
числе и в C++.
1.4.2. Среда разработки
Среда разработки (environment framework) состоит из вспомогательных средств
и инструментов, отражающих в конечном счете инфраструктуру среды существо
вания программы и используемых для управления разработкой программы. Она
обеспечивает программиста необходимыми при разработке программ сервиса
ми, позволяющими организовать хранение данных, быстро разработать графи
ческий интерфейс пользователя, обеспечить безопасность и коммуникационную
связь с другими программами. Программисты неизбежно используют инфра
структурные сервисы как компоненты при разработке своих программ. Соответ
ственно, иногда языки разрабатываются таким образом, чтобы облегчить доступ
к этим сервисам.
Например, программы, написанные в 60е гг., содержали специальные стан
дартные процедуры вводавывода для обеспечения связи с пользователем. С раз
витием интерактивных систем стандартным форматом вывода стали окна, выво
димые на экран. В настоящее время среды разработки должны включать в себя
базовую программу управления окнами (например, Motif, которая использует
систему X Windows), а пользовательской программе остается только вызывать
специальные функции этой программы для отображения окон, меню, полос про
крутки и выполнения большинства других стандартных действий с окнами.
Интерфейсы X Windows являются составной частью среды разработки, которая
предоставляет возможность всем использующим ее программам обеспечить для
пользователя, работающего с ними за терминалом, некоторый стандартный об
разец поведения. Такие системы, как Visual Basic и Microsoft Visual Studio пред
лагают библиотеки сервисов для построения оконных приложений на языках
C++, Java и BASIC.
57
1.4.3. Языки управления заданиями
и языки создания процессов
Понятие управления заданиями имеет некоторое отношение к среде разработки.
В настоящее время, если вы хотите запустить некоторую программу, такую как
компилятор C или текстовый процессор, вы наводите указатель мыши на соответ
ствующую картинку или значок на экране и щелкаете на нем мышью. До того как
наступила эпоха оконных систем, для запуска программы вам надо было вручную
набрать ее имя в командной строке (сегодня это можно сделать в режиме MSDOS).
Еще раньше, в эпоху перфокарт, для запуска программы вначале нужно было вста
вить перфокарту с именем программы, а затем уже перфокарты, содержащие дан
ные.
Все эти способы позволяют пользователю осуществлять непосредственный
контроль над последовательностью действий, необходимых для выполнения ра
боты. Если процесс компиляции программы завершился с ошибками, пользова
тель может запустить редактор, чтобы исправить текст программы. Если компи
ляция прошла успешно, пользователь может запустить загрузчик и выполнить
программу.
Как было кратко описано в разделе 1.2.3, в 60е гг., когда функция управления
выполнением программ перешла к компьютерам, появилось понятие процесс. Опе
ратору не нужно стало ждать успешного выполнения какоголибо этапа програм
мы. Каждая программа стала выдавать код возврата, и команда для определения
следующего этапа могла проверить код возврата предыдущего этапа и в зависимо
сти от этого кода принять то или иное решение относительно следующего этапа.
Таким образом, последовательность этапов — компиляция, загрузка, выполнение
первой программы, выполнение второй программы — могла быть загружена в ком
пьютер заранее и операционная система должна была выполнить эту последо
вательность действий указанным образом. Фирма IBM стала использовать этот
подход в своем языке управления заданиями Job Control Language (JCL) для ком
пьютеров серии System 360 в 1963 г.
Операционная система UNIX расширила эту концепцию. Вместо того чтобы
просто проверять код возврата предыдущего этапа, язык управления стал выпол
нять более сложные функции и превратился в более сложную структуру с данны
ми, операциями и операторами. В этом случае объектами данных являются про
граммы и файлы имеющейся компьютерной системы. Таким образом, пользователь
мог писать программы, которые связывают между собой различные операции, взя
тые из других программ. Можно было запрограммировать последовательное вы
полнение этапов, основываясь на содержании файлов с данными и результатах
предыдущих этапов. Это привело к появлению в операционной системе UNIX ко
мандного интерпретатора shell, имеющего различные разновидности, такие как
Bourne shell, C shell, Korn shell и т. д. Файлы с расширением *.bat на персональном
компьютере являются простой формой таких командных файлов.
Концепция командного интерпретатора породила много родственных языков.
Все они относятся к категории языков сценариев или языков процессов. В основном
это интерпретируемые языки, которые характеризуются тем, что файлы и програм
мы в них рассматриваются как базовые данные. Такие языки, как AWK, Perl и
1.4. Среда программирования
58 Глава 1. Проблемы разработки языка
TCL в течение многих лет использовались для создания сценариев, и последние
двадцать лет они являются неотъемлемым атрибутом системного программирова
ния. Однако их популярность резко выросла с появлением Всемирной паутины
WWW. Такие языки сценариев имеют большое значение при передаче информа
ции в обоих направлениях между webбраузером пользователя и webсервером.
Позже, в разделе 12.2.2, будет показано, как один из таких языков, а именно Perl,
используется для разработки webпрограмм.
В настоящее время мы находимся в ситуации, когда каждая компания стара
ется создавать продукты «быстрее, лучше, дешевле». Термин время Интернета
появился для обозначения того, что процесс разработки программного обеспече
ния должен происходить со скоростью Интернета — мегабиты в секунду. Ис
пользование интерпретируемых языков, таких как языки управления заданиями
и языки сценариев, позволяет разработчикам быстро создавать прототипы при
ложений. Языки типа Perl позволяют очень быстро строить простые алгоритмы,
которые вызывают написанные ранее программные продукты, используя сцена
рии shell.
1.5. Обзор языка C
Язык C является одним из языков, который тесно связан со своей средой програм
мирования.
История языка. Язык C был разработан в 1972 г. Дэнисом Ритчи (Dennis
Ritchie) и Кеном Томпсоном (Ken Thompson) из AT&T Bell Telephone Laboratories.
По стилю он похож на ALGOL и Pascal, а также использует свойства языка PL/I.
Хотя он и является универсальным языком, компактный синтаксис и эффектив
ность выполнения написанных на нем программ сделали его популярным языком
системного программирования.
В конце 60х AT&T Bell Telephone Laboratories закончила совместный с MIT и
GE (General Electric) проект по созданию операционной системы Multics; тем не
менее целью Кена Томпсона оставалась разработка удобной операционной систе
мы. Таким образом зародилась идея операционной системы UNIX. Система Multics
программировалась на языке PL/I, и хотя он достаточно громоздок, было желание
написать новую систему, UNIX, именно на языке высокого уровня. Поскольку
Томпсон имел некоторый опыт работы с системным языком BCPL (языком низ
кого уровня, не имеющим никаких средств динамической поддержки), он разра
ботал новый язык под названием B, который реализовывал минимальное подмно
жество возможностей языка BCPL для системного программирования («BCPL
помещался в 8килобайтную память компьютера [PDP7]» [92]). В настоящее время
трудно представить, насколько существенным сдерживающим фактором было ог
раничение объема памяти всего 30 лет назад.
В 1970 г. для проекта UNIX был приобретен компьютер PDP11 с его огромной
памятью в 24 Кбайт. В это время небольшое, но растущее сообщество UNIX по
чувствовало ограничения языка B. Поэтому в B были добавлены такие понятия,
как типы, определения структур и некоторые дополнительные операторы, и но
вый язык стал известен под именем C.
59
Хотя C — универсальный язык программирования, он тесно связан с систем
ным программированием. Этот язык впервые был использован для написания ядра
операционной системы UNIX и с тех пор был тесно связан с реализациями UNIX.
В настоящее время реализации языка C существуют в большинстве компьютер
ных систем.
В 70е гг. интерес к языку C проявлялся в основном со стороны университет
ских кругов, отдававших предпочтение операционной системе UNIX. Когда в 80х гг.
начали появляться коммерческие версии этой системы, их популярность постоян
но росла благодаря языку C. В 1982 г. рабочая группа института стандартов ANSI
начала работать над стандартом языка C, который увидел свет в 1989 г. [10] и был
принят и в качестве международного стандарта (ISO/IES 9899) в 1990 г.
В настоящее время программисты, использующие язык C, — наиболее быстро
растущая популяция в программистском мире. Вместе с языками C++ и Java, ко
торые разрабатывались на его основе, он оказывает наибольшее влияние на про
граммирование. Синтаксис и семантика большинства новых языков (таких как Java
и Perl) частично основаны на концепциях, характерных для языка C.
Краткий обзор языка. Когда речь идет о языке C, как правило, рассматрива
ется не столько собственно сам язык, определяемый специальной граммати
кой, а среда этого языка. Составные части среды программирования языка C
таковы.
Ê Язык C. Это относительно небольшой язык с ограниченным набором струк
тур управления и возможностей. (Не забывайте, что он развился из мини
мального компилятора, который работал на PDP7, а позже на PDP11.)
Ê Препроцессор C. Поскольку почти каждый компилятор C включает в себя
операторы препроцессора, начинающиеся с символа #, то большинство
пользователей даже не подозревают, что они не являются составной частью
собственно языка C.
Ê Допущения интерфейса C. В результате использования возможностей язы
ка C возник ряд соглашений. Например, принято, что определения интер
фейсов между модулями должны храниться в соответствующем заголовоч
ном файле с расширением .h. В операторе
#include "myfcn.h"
при определении интерфейса к модулю myfcn используется как Cпрепро
цессор, так и указанное соглашение.
Ê Библиотека C. Многие функции, такие как printf, getchar, malloc, fork и exec,
были написаны с помощью интерфейсов С, хотя они не входят в официаль
ное определение языка C. Однако в стандарте ANSI языка С эти функции
включены в язык в качестве обязательных библиотечных функций для со
гласующихся со стандартом компиляторов. Подключение большой библио
теки позволяет расширять с помощью ее функций относительно небольшое
ядро языка.
Модуль на языке C состоит из глобальных объявлений и последовательности
вызовов функций. Для формирования одной выполняемой программы одновре
менно загружается несколько модулей. Каждая функция может вызывать другие
функции и имеет доступ как к локальным, так и к глобальным данным.
1.5. Обзор языка C
60 Глава 1. Проблемы разработки языка
При такой структуре хранение данных осуществляется очень просто. Каждая
функция имеет локальную память или локальную активационную запись, кото
рая является динамической и допускает рекурсию; также каждая функция имеет
доступ к глобальным переменным. Реально не существует никакой блочной струк
туры. Каждый отдельный объект данных реализован эффективно. Например, мно
гомерные массивы строятся из одномерных массивов, а индексы одномерных мас
сивов начинаются с 0. Это исключает необходимость применения дескрипторов
для вычисления смещения, что, в свою очередь, исключает все сложные вычисле
ния для определения размещения в памяти элементов массива.
В языке C используются указатели, а массивы и указатели эквивалентны, что
позволяет программам использовать любой из наиболее подходящих методов для
доступа к элементам массивов. Строки реализованы как массивы символов. Эта
реализация совершенно прозрачна, поэтому обращаться к строкам можно не
сколькими способами: как к строкам, как к массивам или (как уже отмечалось)
как к указателям на отдельный символ.
В языке C имеется большой набор арифметических операций, которые позво
ляют писать очень эффективные, а иногда и очень лаконичные программы. Также
имеется полный набор структур управления с очень гибкой семантикой, иногда
допускающей довольно необычное использование.
Кроме того, в C предусмотрена возможность гибкого определения типов. Тем
не менее можно утверждать, что C является одновременно и сильно типизирован
ным, и не сильно типизированным языком. Такая неоднозначность возникает из
за того, что большинство отдельных элементов данных являются подтипами цело
го типа. Хотя транслятор и обнаружит ошибки, связанные с несоответствием типов,
но поскольку большинство элементов данных в конечном счете относятся к цело
численному типу, многие ошибки могут остаться незамеченными.
Язык C изначально был тесно связан с функциональными возможностями опе
рационной системы. В операционной системе UNIX некоторые функции операци
онной системы (например, функция malloc для динамического выделения области
памяти) определены как вызовы соответствующих функций языка C. По соглаше
нию все они определяются в системных заголовочных файлах с расширением .h.
Так, например, для вызова malloc из программы на языке C в начале программы
должен быть подключен соответствующий файл
#include <malloc.h>
а при дальнейшем использовании этой функции в программе следует просто пи
сать malloc(StorageSize), указывая в качестве параметра требуемый объем памяти.
При компиляции и запуске такой программы определения соответствующих функ
ций (например, malloc) подключаются из библиотеки C.
Компилятор C сначала запускает препроцессор. Такие команды, как #define
и #include выполняются в первую очередь, а затем уже транслятором C компили
руется вся остальная программа.
При разработке операторов вводавывода в качестве образца была взята кон
цепция оператора FORMAT языка FORTRAN, но получившиеся в результате опера
торы лучше приспособлены для интерактивных программ, чем операторы READ и
WRITE языка FORTRAN. Большинство полезных функций определено в системном
файле stdio.h, который должен подключаться к любой программе на языке C. Та
61
кой подход позволяет легко расширять язык — достаточно написать ряд новых
функций для добавления новых функциональных возможностей.
В программе можно использовать комментарии (любой текст, ограниченный
символами /*…*/), задаваемые в любом месте, где можно использовать пробел.
Поскольку формат текста свободный, то символы продолжения строки не нуж
ны, однако каждый макрооператор препроцессора обязательно должен опреде
ляться в одной строке. Тем не менее можно использовать символ (\) для указа
ния, что определение макрооператора препроцессора продолжается в следующей
строке.
1.6. Рекомендуемая литература
Во многих книгах конкретные языки программирования рассматриваются на
обзорном уровне. В книгах Дершема и Джипинга [35], Лоудена [74], Себесты [99]
и Сети [100] предложен альтернативный взгляд на многие аспекты, освещенные
в данной книге. Ранний этап истории развития языков программирования хорошо
изложен в книгах Саммета [95], [96] и Розена [93]. Под редакцией Вексельблата
(Wexelblat) вышел сборник статей, написанных разработчиками многих основных
языков, среди которых ALGOL, APL, COBOL, FORTRAN PL/1 [117]. В 1993 г.
прошла Вторая конференция по истории языков программирования [4]. В этом
издании приведена более полная информация по истории языков Prolog, C, LISP,
C++, Ada и Pascal, а также некоторых других, о которых не рассказано в нашей
книге. Роль стандартизации языков описана в книге Рада и Берга [90].
Все языки, описанные в этой книге, испытывают влияние как среды програм
мирования, так и операционной среды. Эти факторы особенно сильно повлияли
на такие языки, как Ada, C, LISP, ML и Prolog. Описание многих современных
вариантов сред программирования приведено в книгах Брауна [23], а также Перри
и Кайзера [87]. О способах проверки корректности программ и об ограничениях
методов верификации можно прочитать у Абрамса и Зелковица [2]. Статьи на все
рассмотренные в этой главе темы можно найти в журналах IEEE Transactions on
Software Engineering, ACM Transactions on Software Engineering и Software Practice
and Experience.
1.7. Задачи и упражнения
1. Используя критерии, приведенные в разделе 1.3.1, оцените причины попу
лярности того языка, который наиболее активно используется на вашем ло
кальном компьютере. Нужно ли расширить список критериев?
2. Выберите стандартизованный язык, к компилятору которого у вас есть до
ступ. Напишите программу, которая, будучи не совместимой, все же компи
лируется и выполняется. Перечислите те нестандартные возможности, ко
торые поддерживает ваш компилятор.
3. Когда выходит стандарт языка (обычно каждые 5–10 лет), сильное влияние
на составление нового стандарта оказывает требование совместимости бо
1.7. Задачи и упражнения
62 Глава 1. Проблемы разработки языка
лее старых программ с реализациями новых версий. Таким образом, при со
ставлении стандарта имеет место некоторое внешнее давление на разработ
чиков, вынуждающее их включать предыдущую версию в новый стандарт.
Для нескольких стандартных определений языков Ada, COBOL и FORTRAN
сравните языковые конструкции и перечислите наиболее слабые из них
(с вашей точки зрения), наличие которых в данной версии языка объясня
ется только требованием совместимости с предыдущими версиями.
4. Рассмотрите следующий простой язык. Символы à и b являются именами
целых переменных. Каждый оператор может иметь префиксную метку. Опре
делены следующие операции:
a=b Присваивает переменной a значение переменной b
a=a+1 Прибавляет 1 к значению переменной a
a=a-1 Вычитает 1 из значения переменной a
if a =0 then goto L Если a = 0, управление передается оператору с меткой L
if a >0 then goto L Если a > 0, управление передается оператору с меткой L
goto L Передает управление оператору с меткой L
halt Завершает выполнение программы
Например, программа, вычисляющая a=a+b, может быть записана следую
щим образом:
L: a=a+1
b=b-1
if b>0 then goto L
halt
а) Напишите на этом языке следующие программы:
1) дано a и b, вычислить x = a + b;
2) дано a и b, вычислить x = a × b ;
3) дано a, b, c и d, вычислить x = a × b и y = c × d.
б) Обсудите минимальный набор расширений для того, чтобы этот язык
было легко использовать. Рассмотрите такие концепции, как подпро
граммы, новые операторы, объявления и т. д.
5. Возьмите какуюнибудь программу, написанную вами на императивном язы
ке (например, FORTRAN, C или Pascal), и перепишите ее так, чтобы она
стала аппликативной.
6. Возможности языка C позволяют описать некоторое действие несколькими
разными способами. Сколько различных операторов вы можете написать
на C, чтобы прибавить 1 к переменной x (эквивалентных оператору x=x+1)?
Выясните преимущества и недостатки этого аспекта языка C.
7. Описанный в конце раздела 1.4.1 оператор assert может быть реализован
или как тест, используемый во время выполнения программы и выполняе
мый всякий раз, когда в программе доходит очередь до этого оператора, или
как некоторое свойство, для которого следует осуществить проверку на ис
тинность в этой точке программы.
63
а) Обсудите, как можно реализовать каждый из этих подходов. Какие слож
ности могут возникнуть при реализации каждого из подходов?
б) Когда условное выражение оператора assert будет всегда истинно для
каждого метода реализации?
8. Первые компьютеры были сконструированы как электронные калькулято
ры для решения численных задач. Подумайте, как бы могли выглядеть язы
ки программирования, если бы первые компьютеры создавались для разных
конкретных целей (например, для обработки текстов, управления робота
ми, игр).
9. Представьте себе, что некоторый новый язык поддерживает три основных
типа данных: целые (integer), вещественные (real) и символьные (character).
Также он позволяет объявлять массивы (array) и записи (record) данных.
Элементы массивов должны быть одного типа, а записи могут состоять из
элементов различных типов. Используйте понятие ортогональности для
сравнительного анализа следующих двух новых вариантов этого языка:
а) Элементы массивов и записей могут быть одного из трех основных типов
данных и также могут быть массивами или записями (например, элемент
записи может быть массивом).
б) Элементы массивов и записей могут быть вещественными (real) или це
лыми (integer). Массивы символов называются строками (string) и обра
батываются специальным образом. Элементы записей могут быть сим
вольного типа и массивами, но записи не могут быть элементами массивов.
Массивы не могут быть элементами массивов, но можно использовать
многомерные массивы для достижения того же результата.
1.7. Задачи и упражнения