Особенности языка Лисп

1. Языки программирования
Язык программирования — формальный язык, предназначенный для записи компьютерных программ.
Язык программирования определяет набор лексических, синтаксических и семантических правил, определяющих внешний вид программы и действия, которые выполнит исполнитель (обычно — ЭВМ) под её управлением.

1.1. Предназначение языков программирования
Со времени создания первых программируемых машин человечество придумало более восьми тысяч языков программирования (включая эзотерические, визуальные и игрушечные).
Каждый год их число увеличивается. Некоторыми языками умеет пользоваться только небольшое число их собственных разработчиков, другие становятся известны миллионам людей.
Профессиональные программисты могут владеть несколькими языками программирования.
Язык программирования предназначен для написания компьютерных программ, которые представляют собой набор правил, позволяющих компьютеру выполнить тот или иной вычислительный процесс, организовать управление различными объектами, и т. п.
Язык программирования отличается от естественных языков тем, что предназначен для управления ЭВМ, в то время как естественные языки используются, прежде всего, для общения людей между собой.
Большинство языков программирования использует специальные конструкции для определения и манипулирования структурами данных и управления процессом вычислений.
Как правило, язык программирования определяется не только через спецификации стандарта языка, формально определяющие его синтаксис и семантику, но и через воплощения (реализации) стандарта — программные средства, обеспечивающие трансляцию или интерпретацию программ на этом языке; такие программные средства различаются по:
- производителю,
- марке и варианту (версии),
- времени выпуска,
- полноте воплощения стандарта,
- дополнительным возможностям;
Могут иметь определённые ошибки или особенности воплощения, влияющие на практику использования языка или даже на его стандарт.

1.2. Спецификация языков программирования
Спецификация (стандарт, определение) языка программирования — это предмет документации, который определяет язык программирования, чтобы пользователи и разработчики языка могли согласовывать, что означают программы на данном языке.
Язык программирования определяет набор лексических, синтаксических и семантических правил, используемых при составлении компьютерной программы.
Лексика — это совокупность слов того или иного языка, части языка или слов, которые знает тот или иной человек или группа людей.
Синтаксис — сторона языка программирования, которая описывает структуру программ как наборов символов (обычно говорят — безотносительно к содержанию).
Синтаксису языка противопоставляется его семантика.
Синтаксис языка описывает «чистый» язык, в то же время семантика приписывает определенные действия различным синтаксическим конструкциям.
Семантика в программировании – это система правил, определяющих поведение отдельных языковых конструкций (определяет смысловое значение предложений алгоритмического языка).
Существует множество критериев, по которым можно классифицировать языки программирования.
Частые варианты классификации представлены ниже:
1. По парадигме (декларативные, императивные, структурированные и т.п.);
2. По системе типов (динамические, статические, сильно- и слаботипизированные, нетипизированные и т.п.);
3. По уровню абстракции (высокого, низкого уровня);
4. По модели исполнения (компилируемые, интерпретируемые).
Четкой классификации не существует, по той простой причине, что существуют буквально тысячи языков программирования, и в любой категории классификации обнаруживается практически непрерывный спектр.
На рисунке 1 представлена схема классификации языков программирования на
- процедурные
-непроцедурные.