Т. Пратт, М. Зелковиц - Языки программирования - разработка и реализация (4-е издание_ 2002) (1160801), страница 171
Текст из файла (страница 171)
Числа транслируются в их двоичный эквивалент с дескриптором в отдельном слове. Если найден подсписок, начинающийся с другого символа «(», то рекурсивно вызывается функция геа<) для построения внутреннего представления подсписка. Указатель на подсписок вставляется как указатель саг следующего компонента основного списка.
Заметим, что этот процесс трансляции не зависит от того, является ли список определением фупкшш или списком данных; все списки обрабатываются одинаково. Выполнение программы на языке 11ЗР состоит пз вычислений функций Е!ЗР. Последовательность выполнения программы обычно задается последовательностью вызо<н>в функций (лн>жег быть, рекурсивных) и условными выражениями. Выражения Программа пн языке ЫВР состоит из последовательности определений функций, где каждая функция является выражением в кембриджской польской записи. Условные выражения.
Огповп<>й структурой лля обеспечения альтернативных выполняемых последовательностей в программе па языке 113Р является услов- ное выражение. Его синтаксис следующий: <сои<> вариант, вариант, вариант, <т выражение ~о улов«анни)) где каждый из перечисленных вариантов — зто нара(прединат,, вл>ранение,). Функция сон<1 выполняется путем последовательного вычисления каждого прединатан и вычисления выражения, для первого предпката, вернувшего значение истина (1). Если все преликаты ложны, то выли>лняется вл>ране»ие по унопчанив.
Операции пад атомами. Обычно операции над атомами включают: тестовую функцию асов>, которая распознает указатель на слово списка и указатель на атом (путем проверки дескрпн>ора слова), фупкцшо пня>Ьегр, которая проверяет, является ли атом литеральным или числовым, функцию еф которая проверяет, являются лп два литеральных атома о>пп<м и тем же атомом (простой проверкой того, указывают лн об<> е< аргумента па олпу и ту же область памяти), фупкцик> депвуя>, генерирукнцун> шн>ый атом (и пе помещающую его в таблицу об Йхг), функцию >псегп, помс<пн<ощую ат<>м в таблицу и1> !твг, и фупкцшо геяиЬ, удал>пощую атом из таблицы о!> 1<>г.
Язык 1.1оР солержнт основные арифметические операции; +, —, *, ! — и некоторые другие. Их синтаксис такой же, как и у других операций языка 1!БР. Так, А + В ' С записывается как (+ й (* В С) ). Все арифметические операции являют- П.б. С)ВР 621 ся общими операциями и принимают аргументы как целого, так и вещественного типа и при необходимости осуществляют преобразование типов. Операция сравнения зегор проверяет, не равен ли нулю се аргумент, операции Вгеа Сегр и 1еззр представляют собой стандартные операции сравнения больше чем и меньше чем. Результатом этих операций является либо атом па1, представляющий ложь, либо атом Т, представляизщнй истину (любое значение, не равное щ1, обы чно представляет истину в языке ЫЯР).
В языке 1.!ЯР пет булева типа. Булевы операции апо', ог и пот представлены в'форме функций. Операция апо' обрабатывает произвольный список не вычисленных аргументов, вычисляя их все по очереди и возвращая значение щ 1, если один из ес аргументов оказывается равным щ1. Операция ог работает подобным жс образом. Операции над списками. Элементарные операции саг и сог возвращают, соответственно указатель саг и указатель сог заданного элемента списка.
Если список С является операндом этих опсраций, то 1саг С) возвращает указатель на первый элемент э гого списка, а (сог С) возвращает указатель на список, из которого удален первый элемент. Элементарная операция сопз получает в качестве операндов два указателя, отводит для нового элемента списка слово памяти, сохраняет два указателя в саги сот-полях слова и возвращает ук;юатсль на новос олово.
Если второй операнд является списком, то первый элемент добавляется в голову списка и возвращает указатель на расширенный список. Элементарные операции саг, сог и сопя являются основными операциями для выборки компонентов списка и создания списков. С помощью операции сопз можно элемент за элементом создать любой список, Например, 1ссиа А (ссиа В 1саге С щ1) ) ) создает список из трех элементов, на которые ссылаются как на А, В и С.
Аналогично, есяиС - (А В С) — список,то(саг 1) возврщцасгА,(саг(сог С)) — В,1саг(сог1сог С))) — С. Используя операции саг, ссг и сопз, любой список можно разбить па составные элементы и создать новый список из этих или других элементов, Элементарную операцию 11зт можно использовать в качестве замены длинных последовательностей операций сспм Операция 1а зС получает любое количество аргументов и конструирует из них список, возвращая указатель на получившийся список. Операция саоте позволяет записать в программе любой список или атом в виде литерала, как описано в разделе 6.1.7.
Элементарная операция ~ер1аса используется для замсная поля указателя саг в слове списка па новый указатель; гер1асо использустся для замены указателя со . Этн две опера~пш следует использовать осторожно, поскольку они действительно изменякат содержимое слова списка, а также возвращают значение, следовательно, имеют побочные эффек)пы. Из-за сложного способа связывания списков в Е1 ЯР эти побочные эффекты могут случайно повлиять и на другие списки помимо того, который модифицируется. Опсрация по11 проверяет, пуст ли данный список (равняется ли атому и ~1), операпню аррепо можно использовать лля соединения двух списков, а операция есва1 сравннвает два списка на равенство соответствующих элементов (вызывая себя рекурсивно для соответствующих пар элементов).
622 Приложение. Обзоры языков Операции над списками свойств. Основные функции обеспечивают вставку, удаление и доступ к свойствам списков свойств. Функция рцт используется для добавления пары инп свойстввгзначение свойства в список свойств. Функция деа возвращает текущее значение, ассоциированное с заданным именем свойства. Функция гепгргор удаляет пару «имя-значение» из списка свойств. Например, для добавления пары «нмя-значение» (аде. 40) в список свойств атома гпа'у следует записать: Грот 'вагу 'аде 40) Далее в програлтме значение свойства аде атома пга у можно получить через вызов функции тдет 'папу 'аде) Удаление свойства аде атолта пгв у выполняется с помощью вызова: Ггеаргор 'ивгу 'аде) Элементарные операции, которые определяют функции, также могут изменять списки свойств лля специальных имен свойств, таких как ехрг или 1ехрг (см. далее).
Ввод и вывод Ввод и вывод осуществляется просто через вызов функций, Функция геаг) считывает следующий атом с клавиатуры. В с~роках 14-15 листинга Н.8 показано, как можно открыть файл лапных с помощью функции орел и прочитать его содержимое с помощью вызова (геаг) указатель файла). Вызов (рщ па обаект) распечатает указанный объект в читаемом формате.
Определение функций Функция г)е(цп используе~ся для создания новых функций. Опа имеет следующий синтаксис тветцо иип функции(аргументаг) вагрвжечие) гле вргуненты являются формальными параметрами функции, а телом функции— единственное выражение (которое может быть послеловательностыо ргодп или другими сложными выполняемыми последовательностями). В БсЬеттте для определения функций можно использовать ситгтаксис Гееттле Гимп функции аргументы) вырвиение) В начале 60-х гг., когда был разработан первый вариант языка 115Р, определение функций основывалось на ) -выражениях, которые мы обсуждали в разделе 4.2.2. й;вьтражентгя можно использовать для определения функций гоеппе иип функции гтаповвгларанетрыгтело))) где пмя функции и имя каждого параметра — атомы, а тело может быть любым выражением, включающим элементарные операции или определенные программистом функции.
Действие объявления функции достаточно просто. Определения интерпретируемых функций обычно хранятся как пары «атрибут — значение» в списке свойств атома, представляющего имя функции. Для обычных функций, таких как определенные ранее, используется цмя атрибута ехрг, а связанное с пим значение являет- П,6. (.)8Р 623 ся указателем на списочную структуру, представляющую определение функции. Таким образом, выполнение ранее описанной операции т)ерт не эквивалентно выполнению следующей операции: (рцт 'ике функции 'ехрг '()апэца(паракетры)(тела))) Многие системы 1.1БР отводят специальную область в атоме (заголовочный блок) для определения функции, названной по этому атому, чтобы избежать необходимости поиска определения функции в списке свойств каждгяй раз, когда она вызывается.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
