Cтраница 2
Основные методы программирования и соответствующий образ мышления, представленные в первой части книги, отражают специфику классического функционального программирования, которое опирается в основном на лямбда-механизм и рекурсию. Однако Лисп - это один из редких Джон фон языков программирования, который пред - Нейман, лагает в рамках единого формализма возможности для большого разнообразия методов программирования, таких, например, как используемые в Бейсике и Фортране операторное программирование, фразовое программирования Паскаля, объектно-ориентированное программирование Смолтолка и, наконец, логическое программирование Пролога. Эта исключительная многосторонность объясняется хорошей теоретической основой языка, его независимостью от какой-либо конкретной архитектуры и его открытостью, гибкостью и расширяемостью. В этой главе мы рассмотрим наиболее важные модели и методы программирования, используемые в Лиспе. [16]
К сожалению, ознакомление с ОС требует от пользователя значительно больших усилий и временных затрат, чем те, которые он израсходовал, например, на изучение языка ФОРТРАН. Поэтому неудивительно, что многие пользователи, хорошо владеющие каким-либо из языков программирования, не обладают достаточными сведениями в области системного программного обеспечения. Такое положение дел объясняется сложностью построения, функционирования и взаимодействия отдельных модулей ОС, их жесткой привязанностью к конкретной архитектуре ЭВМ, использованием ассемблера для их написания и многими другими причинами. Но ОС предоставляет и большое количество всевозможных услуг, сервисных средств, способов повышения производительности прикладных программ, знание которых в значительной степени расширяет возможности пользователя как при создании новых программ, так и при использовании существующих комплексов САПР. [17]
В названии системы отражены ее основные свойства: инстру-ментальность и мобильность. ИНМОС - операционная система, слабо зависящая от конкретной машинной архитектуры, обладающая развитыми инструментальными возможностями. В ее структуре разделены машинно-независимая часть, единая для различных машинных архитектур, и машинно-зависимая часть, настраивающая систему на конкретную архитектуру. Разработчиками системы создана методика, описывающая процедуру-переноса и постановки ИНМОС на новую машинную архитектуру. [18]
Становление программистских школ в Советском Союзе следует отнести к началу 50 - х годов. В этот период появились небольшие по численности группы математиков, привлеченные к разработкам проектов вычислительных машин, проводившимся в небольшом числе проектных организаций и институтов в Киеве, Минске, Москве, Ленинграде, Пензе и ряде других городов. При этом необходимо было добиваться предельной эффективности их вычисления на данной конкретной архитектуре. [19]
Одним из самых быстрых среди всех имеющихся интерпретаторов является Ватерлоо-Пролог, созданный Робертсом ( 1977) в Университете Ватерлоо. Он работает на вычислительных машинах IBM-370 / 158, IBM-3031 и IBM-4341 и по своей структуре подобен марсельскому Прологу, однако технически более отшлифован. Впечатляющее быстродействие этого интерпретатора отчасти обусловлено тем, что он написан непосредственно на языке ассемблера, и отчасти - отсутствием в нем механизмов экономии пространства. Как и реализация Пролога на машине DEC-10, он ориентирован на конкретную архитектуру ЭВМ, что ограничивает его переносимость. Отчет Робертса о своей системе в особенности примечателен точностью, ясностью и полнотой, чего недостает почти всей остальной литературе, касающейся реализации логики как языка программирования. [20]