Cтраница 4
Последовательности лит § р, заключенные в апострофы, называются строками или цепочками литер. Строки, состоящие из единственной литеры, яв-ляются константами литерного типа. Если в строке содержится апостроф, то его необходимо повторить дважды. [46]
Другой метод состоит в использовании только однопараметри-ческих функций, аргументы которых имеют вид цепочек литер, представляющих списки параметров. Внутри функции цепочка литер анализируется и из нее выделяются различные подцепочки, обрабатываемые следующим образом: имена сохраняются в исходном виде, а подцепочки, представляющие выражения, преобразуются в выражения и вычисляются. Такая возможность предоставляется специальным оператором АПЛ EXECUTE. В этом случае пользователь имеет полную свободу в отношении синтаксической формы списка параметров и количества параметров в нем. На самом деле, как читатель уже мог заметить, синтаксис GRIP выбран таким, что он допускает буквальную реализацию GRIP в форме библиотеки функций на АПЛ. [47]
Снобол 4 - последний и наиболее широко реализованный язык из семейства языков для обработки цепочек литер, разработанных в 60 - х годах в лабораториях Bell Telephone. Основной областью применения этого языка являются задачи, в которых требуется сложная обработка большого объема данных, имеющих вид цепочек литер: например, обработка текстов на естественном языке. Однако язык содержит много возможностей для работы и с другими типами данных, поэтому он нашел широкое применение во многих областях. Грисволд [1972] описал первоначальную реализацию языка Снобол 4, на которую эта глава в какой-то мере опирается. [48]
Эти строки определяют структуру записи, состоящей из четырех элементов; запись используется для формирования цепочки литер, представляющей результирующую строку, печатаемую программой. [49]
Среди встроенных примитивных операций имеются простые арифметические и логические примитивы, операции отношения и некоторые простые операции для сканирования цепочек литер и замены их частей. Вследствие большого разнообразия возможных типов особое значение имеет присваивание, включающее автоматическое преобразование типа присваиваемого значения к типу переменной, которой это значение присваивается. Как и следовало ожидать, имеется мощный набор примитивов ввода-вывода для доступа к внешним файлам различного вида и их обработки. Сюда относятся операции ввода-вывода для последовательных, индексно-последовательных файлов и файлов с прямым доступом, примитив SORT и генератор отчетов, позволяющий автоматически строить сложные выходные форматы. [50]
И ТОТ, и COUNT хранятся в форме, соответствующей аппаратному представлению чисел, однако значение PRICE имеет вид цепочки литер и должно быть преобразовано перед сложением к аппаратной форме. [51]