Информационный сайт

 

Реклама
bulletinsite.net -> Книги на сайте -> Программисту -> Хювёнен Э. -> "Мир Лиспа.Том 2. Методы и системы программирования" -> 44

Мир Лиспа.Том 2. Методы и системы программирования - Хювёнен Э.

Хювёнен Э, Сеппянен И. Мир Лиспа.Том 2. Методы и системы программирования — М.: «Мир», 1990. — 318 c.
Скачать (прямая ссылка): mir-lespa-tom2.djvu
Предыдущая << 1 .. 38 39 40 41 42 43 < 44 > 45 46 47 48 49 50 .. 94 >> Следующая


Стилю программирования лучше всего учиться программируя.

Литература

1. Brooks R. How to Hack Lisp Real Good. Lecture Notes, Stanford University, Computer Science Department, 1984.

2. Ершов А.П. О человеческом и эстетическом факторах в программировании. Кибернетика. No. 5, 1972. 3. Knuth D. 7"Ae Art of Computer Programming. Vol. 1., Fundamental Algorithms. Addison-Wesley, Reading, Massachusetts, 1968. [Имеется перевод: Кнут Д. Искусство программирования. Т.1. Основные алгоритмы. - M.: Мир, 1976.]

3. СРЕДСТВА И СРЕДА ПРОГРАММИРОВАНИЯ

3.1 ПЕРВИЧНАЯ СРЕДА KOMMOH ЛИСПА

3.2 СРЕДА ИНТЕРЛИСПА

3.3 СРЕДА ЗЕТАЛИСПА

В этой главе мы познакомимся с лисповской средой программирования. Коммон Лисп определяет для среды программирования лишь граничные условия, давая возможность принимать в реализации среды различные решения. Более детальные вопросы было решено оставить открытыми, поскольку среды программирования вместе с их характеристиками и средствами находятся еще в стадии интенсивного исследования.

Далее мы изложим определенные в Коммон Лиспе для среды граничные условия и основные компоненты. После этого в качестве примера мы рассмотрим лисповские среды программирования систем Интерлисп и Зеталисп. Интерлисп представляет собой классический пример интегрированной среды, которая первоначально разрабатывалась для системы разделения времени вычислительных машин DEC-10/20 и которая после этого в документированном виде используется на Лисп-машинах фирмы Xerox. Зеталисп происходит из системы Маклисп, разработанной в MIT для той же машины DEC-10/20. Система получила существенное развитие, и она используется на Лисп-машинах подобных Маклиспу (LMI, Symbolics, Tl, Sperry, нынешний Unisys и другие системы).

138

3 Средства и среда программирования

Обстоятельства меняются, принципы нет.

О. Бальзак

3.1 ПЕРВИЧНАЯ СРЕДА КОММОН ЛИСПА

• Аппаратная среда реализаций языка

• Составные части среды программирования на Лиспе

• Интегрированность и прозрачность

• Редактирование программ: ED

¦ Тестирование программ: TRACE и STEP

• Прерывание вычислений: BREAK и ERROR

• Трансляция программ: COMPILE

¦ Система документирования и справочная система

• Комментарии

• Средства определения количественных характеристик вычислений

Аппаратная среда реализаций языка

Лисп-системы доступны для достаточно различных аппаратных средств, начиная с 8 битовых микро-ЭВМ и кончая суперЭВМ и специализированными Лисп-машинами. Раньше разработку программ на Лиспе осуществляли с помощью систем разделения . ф а времени на больших машинах, особенно на тх^У машинах серии DEC-10/20. В настоящее Жл^^' время акцент смещается на персональные %V рабочие станции и Лисп-машины, которые I не без основания можно считать специализи-рованными вычислительными машинами, учитывая свойства языка Лисп и требования, предъявляемые исследованиями в области программирования задач искусственного интеллекта.

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

3.1 Первичная среда Коммой Лиспа

139

файлами и внешними устройствами. Таким образом, предпринята попытка обеспечить как возможность развития аппаратных средств, так и переносимость программ, написанных на Коммон Лиспе из одной среды в другую.

Составные части среды программирования на Лиспе

Кроме внешних устройств с Лисп-системой связан набор системных программ, таких как операционная система и специальные вспомогательные средства для программирования, которые в большей или в меньшей степени использованы в подсистемах языка. Рассмотрим далее наиболее важные из них в порядке их использования на этапах разработки программ:

1. Этап определения. Программы (определения DEFUN, присваивания SETQ и прочие) сначала записываются в файл обычно с помощью используемого на вычислительной машине редактора (editor). Это происходит таким же образом, как и в традиционных языках. Вообще-то редактор можно вызвать непосредственно из интерпретатора Лиспа, в этом случае из интерпретатора можно перейти в редактор и обратно без промежуточного использования операционной системы. С точки зрения работы редактора Лисп-системы бывают двух основных типов: (1) работающие в памяти или резидентные (resident) и (2) работающие с файлом или загружаемые (loadable). В первом случае функции можно тестировать сразу после их определения. Во втором случае функцию (или функции) нужно сначала загрузить в память с помощью специальной директивы (LOAD). Загрузка может производиться и автоматически, когда из редактора переходят в интерпретатор (Маклисп). Этап тестирования. Если определения были синтаксически верны и сообщения об ошибке не последовало, то можно начать тестирование их работы.

140

3 Средства и среда программирования

Поиск ошибок вычисления можно проводить с помощью трассировщика (trace), который выводит имя и значения аргументов отслеживаемой функции каждый раз, когда она вызывается. Другой возможностьюявляетсяиспользованиеяошагового исполнения (stepping), когда вычисления выполняются шаг за шагом под наблюдением пользователя. Найденные таким образом ошибки можно затем исправить редакторомлибо непосредственно в памяти или в файле в зависимости от типа системы.
Предыдущая << 1 .. 38 39 40 41 42 43 < 44 > 45 46 47 48 49 50 .. 94 >> Следующая
Реклама Smc smoke дымогенератор купить.
Авторские права © 2009 AdsNet. Все права защищены.
Rambler's Top100