Пратт Т. Языки программирования. Разработка и реализация
Подождите немного. Документ загружается.
667
любого метода. Объект Smalltalk предоставляет глобальный словарь. С помощью
метода at:put: можно инициализировать любой объект, задавая его глобальное имя.
Например,
Smalltalk at:#x put:(Array new:20)
создает глобальный объект x, который инициализирован как массив, состоящий
их 20 элементов.
Передача параметров. Все параметры передаются по значению, так как в ди
намической модели хранения данных любой параметр просто копируется в новое
место памяти, а потом происходит уборка мусора, в процессе которой освобожда
ется память.
Возврат из метода. С помощью синтаксиса ^object метод возвращает объект.
Если символ ^ не задан, то возвращается объект, содержащий вызванный метод.
Стандартные функции
Много предопределенных функций в определениях предопределенных классов
в умалчиваемой среде Smalltalk становятся доступными при первоначальном вы
зове последнего. Некоторые функции уже были нами описаны. Некоторые другие
полезные функции представлены ниже.
Класс Character. Функция Character value:anInteger возвращает символ, пред
ставленный целочисленным кодом anInteger.
Функция x digitValue возвращает целочисленное значение символа x. Как
и в языке С, при вычислении выражения ($2 digitValue) – ($0 digitValue) резуль
тат будет равен 2.
Функции вывода на печать. Функция print выводит на печать значение объек
та. Функция printNl делает то же самое, но еще и добавляет в конец выведенного
значения символ новой строки. Фактически функция print посылает сообщение
printOn:èìÿ_ôàéëà объекту self. Это позволяет любому классу модифицировать ин
формацию о себе, которую он печатает:
printOn: stdOutput
super printOn:stdOutput. "Ñòàíäàðòíûé âûâîä"
...! "Ñïåöèàëüíûé âûâîä äëÿ îáúåêòà ýòîãî êëàññà"
Системные функции. Объектсловарь Smalltalk выполняет много системных
функций. Вот некоторые из них.
Метод inspect печатает внутреннюю информацию о структуре любого объекта.
Функция quitPrimitive (то есть Smalltalk quitPrimitive) позволяет выйти из
Smalltalk. Символ конца файла (часто <Ctrl>+<D>) также можно вводить с клавиа
туры для завершения выполнения программы.
Функция system:command вызывает выполнение команды command операционной
системой. Например, Smalltalk system:'ls' распечатает имена локальных файлов
в системах UNIX.
П.13. Рекомендуемая литература
Соответствующая документация ANSI описывает стандартные определения для
языков FORTRAN 90 [11], C [10] и COBOL [9].
П.13. Рекомендуемая литература
668 Приложение. Обзоры языков
Хорошая сводка возможностей FORTRAN 90 дается в [21]. Книга [49] являет
ся хорошим обзором языка C. Ранние этапы развития FORTRAN и COBOL опи
саны в материалах конференции ACM по истории языков программирования, про
водившейся в 1978 г. [117], а развитие языка C рассматривалось на второй такой
же конференции, прошедшей в 1993 г. [4].
История Pascal изложена самим Виртом в [119]. Ясное и понятное описание
языка было опубликовано Иенсеном (Jensen) и Виртом в [59]; аннотированная
версия стандарта содержит несколько хороших советов по использованию языка
[70]. Дальнейшие критические замечания о Pascal можно найти в [116]. Сравне
нию языков C и Pascal посвящена статья [40].
На основе Pascal были разработаны языки системного программирования:
параллельный Pascal [22] и Modula [118]. Тем не менее в данной области ни тот,
ни другой не смогли выдержать конкуренции с языком C.
История и развитие языка Ada описывается в [120]. Книга [20] дает более пол
ное описание программирования на Ada, чем это было возможно здесь, тогда как
[58] описывает стандарт языка.
Разработка языка C++ на основе C описывается в [108]. Подробному описа
нию C++ посвящено несколько недавно вышедших книг [72, 88 и 109].
История Smalltalk описана в [63]. Более полное описание стандарта языка
Smalltalk80 дано в [44]. Альтернативная разработка объектноориентированного
языка на примере языка Eiffel представлена в работе Бертрана Мейера (Bertrand
Meyer) [82].
Язык LISP, к сожалению, не имеет стандартного описания. Исходная версия
языка дается в легкой для чтения книге Маккарти (McCatrhy) [80]. Диалект Scheme
рассматривается в [1]. Сommon LISP определен в книге Стила (Steele) [105], а в [45]
вы найдете хорошее введение в Common LISP. Обзор полной превратностей исто
рии этого языка приведен в [106].
Спецификация стандартного ML описана в [83], в то время как книга Ульмана
(Ullman) [115] представляет ясное описание языка, полезное при его изучении.
Создание компилятора AT&T Standard ML (который использовался для разра
ботки примеров в нашей книге) описано в [12].
Интерес к функциональным языкам программирования заметно возрос в кон
це 70х гг., после знаменитой лекции Бэкуса (Backus) по случаю получения пре
мии Тьюринга, в которой он критиковал «узкое место» компьютеров с архитекту
рой фон Неймана, отражающееся в традиционных языках программирования [15].
В качестве альтернативы языку ML Дэвидом Тернером (David Turner) был пред
ложен язык Miranda, свойства которого во многом были аналогичны свойствам
ML. Miranda — полностью функциональный язык, в то время как в ML допускает
ся присваивание.
Начальный этап развития логического программирования описан в [67], а ис
тория Prolog — в [30]. Использование языка рассматривается в [28 и 107].