Cтраница 2
Не все принятые в Лиспе парадигмы1 родом из самого Лиспа, несмотря на то что подобные направления использовались в Лиспе уже давно. Например, логическое программирование и Пролог разработаны в процессе исследования доказательства теорем, которое ранее осуществлялось на Лиспе. Идея объектно-ориентированного программирования возникла при обработке свойств символов в Лиспе задолго до того, как языки Симула и Смолтолк появились на свет. Однако в чистые парадигмы программирования ( или в метафоры ( metaphora), как это имеет место в языке Смолтолк) они вылились лишь в ходе развития соответствующих языков программирования. Все же возможности, присущие Лиспу, позволили освоить и включить в него результаты других разработок, и часто в более совершенной форме, чем в исходном языке. Например, объектно-ориентированная система Flavor в Зеталиспе во многих отношениях является более развитой, чем Смолтолк. [16]
Одним из таких факторов является возникновение значительных трудностей при внедрении новых универсальных языков. Трудно надеяться на то, что новый язык будет широко использоваться, несмотря на его преимущества. Другая проблема состоит в том, что специалисты в области развития языков программирования проявляют мало интереса к реализации новых операций вообще и математических операций в частности. Они рассчитывают на то, что достаточно будет улучшить структуры управления и типы данных наряду с культурой программирования для того, чтобы обойти узкие места. Однако мощные операции сокращают программы, что позволяет значительно упростить программирование и повысить производительность труда. [17]
Мы видим, что идея алгоритмизации процессов для человечества не нова. Но при этом она не была осознана как проблема алгоритмизации. Этот важный шаг был совершен человечеством лишь после появления ЭВМ и довольно значительного развития идей программирования. Естественно, что и идея универсального языка, удобного для алгоритмизации прсце: сов, возникла в тесной связи с развитием языков программирования. [18]
За первые десять лет своего существования Модула-2 практически не претерпела никаких изменений. Например, предлагается добавить в язык аппарат, аналогичный родовым пакетам в Аде ( generic), развить средства асинхронного взаимодействия модулей. Имеются и предложения противоположного плана - еще более ограничить набор средств, например, запретить использование локальных модулей. Маловероятно, что на основе имеющихся предложений появится новый стандарт языка. Вместе с тем внимание к вопросам расширения Модулы-2 свидетельствует о том, что при обсуждении путей развития языков программирования Модула-2 удобна как некоторая надежная база, точка отсчета для дальнейшего движения вперед. [19]
Нам предстоит пройти еще большой путь, прежде чем удастся создать программы, о которых говорит Ур. В частности, кроме программы Гелернтера [45], у нас нет программ, которые объединяли бы информационные процессы в пространственно-временной системе отсчета с процессами решения задач такого типа, как те, которые реализуются, например, в программах Ньюэлла, Саймона и их сотрудников. На этот вопрос обращает внимание де Гроот [28] при обсуждении ограничений, относящихся к существующим программам игры в шахматы. Однако имеются основания считать такое положение временным. Много внимания уделяется этой проблеме и в работах по искусственному разуму. Кроме того, мы должны помнить, что сами вычислительные машины существуют лишь около двадцати лет и чрезвычайно быстро совершенствуются. Выпускаемые в настоящее время вычислительные системы имеют в несколько сот раз больший объем памяти, чем машины, выпускавшиеся десять лет назад. Имеющиеся сейчас языки программирования лишь отдаленно напоминают те машинные языки, которые имелись десять лет назад, и можно с уверенностью предположить, что успехи в конструировании вычислительных машин зависят от развития более мощных и гибких языков программирования. [20]