Maclisp: Диалект языка Lisp

Введение

Диалект языка программирования Lisp

Maclisp (или MACLISP, иногда называемый MacLisp или MacLISP) — это язык программирования, диалект языка Lisp. Он возник в Массачусетском технологическом институте (MIT) в конце 1960-х годов и был основан на Lisp 1.5. Ричард Гринблатт был основным разработчиком оригинальной кодовой базы для PDP 6; Maclisp отличается от Lisp 1.5 использованием ячейки значения для доступа и хранения динамических значений переменных; Lisp 1.5 использовал линейный поиск в списке ассоциаций для определения значения переменной. Вычисление значения переменной в Maclisp происходит быстрее, но имеет иную семантику переменных. Maclisp также использовал макросы для чтения, чтобы сделать ввод и вывод более читаемыми, что называлось вводом/выводом (I/O). Вместо ввода (QUOTE A) можно было ввести 'A, чтобы получить то же s-выражение. Хотя обе реализации помещают функции в список свойств, Maclisp использует другой синтаксис для их определения. Maclisp также обладает функцией загрузки по требованию. Maclisp начал работу на компьютерах Digital Equipment Corporation PDP 6 и PDP 10 под управлением операционной системы Incompatible Timesharing System (ITS); позже он был портирован на все другие операционные системы PDP 10, например, Timesharing / Total Operating System, TOPS 10 и TOPS 20. Первоначальная реализация была написана на языке ассемблера, но более поздняя реализация для Multics использовала PL/I. Maclisp значительно развивался на протяжении своего существования. Добавлялись основные функции, которые в других языковых системах обычно соответствовали бы основным номерам релизов. Maclisp использовался для реализации компьютерной алгебраической системы Macsyma (CAS) или программы символьной алгебры. Разработка Macsyma также стимулировала появление нескольких функций в Maclisp. Программа SHRDLU для работы с блочным миром была написана на Maclisp, поэтому язык широко использовался в сообществе исследователей в области искусственного интеллекта (ИИ) в начале 1980-х годов. Он также использовался для реализации других языков программирования, таких как Planner и Scheme. Multics Maclisp был использован для реализации первого Emacs, основанного на Lisp. Maclisp был влиятельной реализацией Lisp, но в настоящее время активно не поддерживается. Сейчас он работает на эмуляторах PDP 10 и может использоваться для экспериментов с ранними программами ИИ.

Maclisp (or MACLISP, sometimes styled MacLisp or MacLISP) is a programming language, a dialect of the language Lisp. It originated at the Massachusetts Institute of Technology's (MIT) Project MAC (from which it derived its prefix) in the late 1960s and was based on Lisp 1.5. Richard Greenblatt was the main developer of the original codebase for the PDP 6; Maclisp departs from Lisp 1.5 by using a value cell to access and store the dynamic values of variables; Lisp 1.5 used a linear search of an association list to determine a variable's value. The Maclisp variable evaluation is faster but has different variable semantics. Maclisp also employed reader macros to make more readable input and output, termed input/output (I/O). Instead of entering (QUOTE A), one could enter 'A to get the same s expression. Although both implementations put functions on the property list, Maclisp uses different syntax to define functions. Maclisp also has a load on demand feature. Maclisp began on Digital Equipment Corporation PDP 6 and PDP 10 computers running the Incompatible Timesharing System (ITS); later it was ported to all other PDP 10 operating systems, for example, Timesharing / Total Operating System, TOPS 10 and TOPS 20. The original implementation was in assembly language, but a later implementation on Multics used PL/I. Maclisp developed considerably in its lifetime. Major features were added which in other language systems would typically correspond to major release numbers. Maclisp was used to implement the Macsyma computer algebra system (CAS) or symbolic algebra program. Macsyma's development also drove several features in Maclisp. The SHRDLU blocks world program was written in Maclisp, and so the language was in widespread use in the artificial intelligence (AI) research community through the early 1980s. It was also used to implement other programming languages, such as Planner and Scheme. Multics Maclisp was used to implement the first Lisp based Emacs. Maclisp was an influential Lisp implementation, but is no longer maintained actively. It now runs on PDP 10 emulators and can be used for experimenting with early AI programs.

Характеристики

Maclisp начинался с небольшого, фиксированного набора типов данных: конс-ячейка, атом (впоследствии названный символом), целое число и число с плавающей точкой. Позже были добавлены: массивы, которые никогда не являлись типами данных первого класса; целые числа произвольной точности (бигнумы); строки и кортежи. Все объекты (за исключением inums) реализовывались как указатели, и их тип данных определялся блоком памяти, на который они указывали, с особым случаем для малых чисел (inums). Программы могли интерпретироваться или компилироваться. Компилируемое поведение было таким же, как и интерпретируемое, за исключением того, что локальные переменные по умолчанию были лексическими в компилированном коде, если только не были объявлены как SPECIAL, и проверка ошибок не выполнялась для встроенных операций, таких как CAR и CDR. Компилятор Ncomplr (середина 1970-х годов) представил быструю поддержку численных вычислений в языках Lisp, генерируя машинный код (инструкции) для арифметических операций вместо вызова интерпретативных подпрограмм, которые выполняли разветвление в зависимости от типа данных. Это сделало арифметику Lisp сопоставимой по скорости с Fortran для скалярных операций (хотя реализация массивов и циклов в Fortran оставалась значительно быстрее). Изначальная версия была ограничена 18-битным адресным пространством PDP 10, и прилагались значительные усилия для поддержания лаконичной и простой реализации. Multics Maclisp обладал гораздо большим адресным пространством, но его использование было дорогостоящим. Когда память и вычислительная мощность PDP 10 были исчерпаны, была изобретена Lisp Machine: Lisp Machine Lisp является прямым потомком Maclisp. Также использовалось несколько других диалектов Lisp, и необходимость объединить сообщество привела к созданию современного языка Common Lisp.

Имя

Maclisp был назван в честь проекта MAC и не имеет отношения к компьютеру Apple Macintosh (Mac), который появился на десятилетия позже, или к Джону Маккарти. Различные системы Lisp для Macintosh не имеют никакого особенного сходства с Maclisp.