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

Лисп — семейство языков программирования, программы и данные в которых представляются системами линейных списков символов. Лисп был создан Джоном Маккарти для работ по искусственному интеллекту и до сих пор остаётся одним из основных инструментальных средств в данной области. Применяется он и как средство обычного промышленного программирования, от встроенных скриптов до веб-приложений массового использования, хотя популярным его назвать нельзя.
Функциона́льное программи́рование — парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних.

CLOS — система объектно-ориентированного программирования, являющаяся частью Common Lisp — стандарта языка Лисп. Кроме того, её встраивают в другие диалекты, такие как EuLisp или Emacs Lisp. Вначале предложенная как дополнение, CLOS была принята в качестве части стандарта ANSI CommonLisp.
Предметно-ориентированный язык — компьютерный язык, специализированный для конкретной области применения. Построение такого языка и/или его структура данных отражают специфику решаемых с его помощью задач. Является ключевым понятием языково-ориентированного программирования.
Уче́бный язы́к программи́рования — язык программирования, предназначенный для обучения. В качестве таковых разрабатывались такие языки как BASIC и Паскаль. Из разработанного для обучения языка ABC вырос Python. Популярным языком, разработанным специально для образования является LOGO. Специально для российских школ разработана языковая среда КуМир. Набирает популярность созданный в Массачусетском технологическом институте язык визуального программирования Scratch и тому подобные среды программирования.
Common Lisp — диалект языка программирования Лисп, стандартизированный ANSI. Был разработан с целью объединения разрозненных на момент начала 1980-х годов диалектов Лиспа; доступно несколько реализаций Common Lisp, как коммерческих, так и свободно распространяемых.
Macsyma — система компьютерной алгебры, разработка которой велась с 1968 года в MIT в лаборатории Project MAC. Это была первая всеобъемлющая система символьной математики и одна из ранних систем, основанных на знаниях. Целиком написана на языке программирования Лисп, для своего времени была одной из самых больших написанных на Лиспе программ. Перенос этой системы на новые компьютерные платформы послужил стимулом для создания нескольких Лисп-машин в 1970-е — 1980-е годы.

Steel Bank Common Lisp (SBCL) — свободная реализация языка программирования Common Lisp. SBCL aнонсирован Вильямом Ньюменом в декабре 1999 года как ответвление от CMU Common Lisp (CMUCL). Одно из отличий от CMUCL это возможность его сборки любой ANSI-совместимой реализацией Common Lisp.
Десятое правило Гринспена — афоризм из области программирования, гласящий:

Factor — это динамически типизированный конкатенативный язык программирования, чья разработка и реализация ведётся Славой Пестовым. Основное влияние на язык Factor оказали языки программирования Joy, Forth, Lisp и Self.

SLIME, Superior Lisp Interaction Mode for Emacs — режим Emacs для разработки приложений на Common Lisp. SLIME происходит от режима SLIM, написанного Эриком Марсденом и разрабатывается как свободный проект Люком Горри и Гельмутом Эллером. Свыше 100 Лисп-разработчиков внесли свой код в SLIME со времени начала проекта в 2003 году. SLIME использует бэкенд SWANK, загружаемый в Common Lisp.
Macintosh Common Lisp (MCL) — коммерческая реализация языка программирования Common Lisp.
CMU Common Lisp (CMUCL) — свободная реализация языка программирования Common Lisp для UNIX-подобных ОС, в том числе Linux и FreeBSD, первоначально разработанная в Университете Карнеги-Меллона. Является предком свободной Steel Bank Common Lisp и коммерческой Scieneer Common Lisp.
MACLISP — диалект языка программирования Lisp, разработанный в лаборатории искусственного интеллекта MIT, которая в то время называлась Project MAC
Языково-ориентированное программирование (ЯОП), также Расходящаяся разработка, также метаязыковая абстракция, также Разработка, опирающаяся на предметно-специфичный язык — парадигма программирования, заключающаяся в разбиении процесса разработки программного обеспечения на стадии разработки предметно-ориентированных языков (DSL) и описания собственно решения задачи с их использованием. Стадии могут вестись последовательно или параллельно, однократно или рекурсивно; DSL могут быть реализованы зависимо или независимо от базового языка и иметь одну или множество реализаций.

NewLISP— диалект лиспа, созданный в качестве скриптового языка.
Гомоикони́чность — свойство некоторых языков программирования, в которых структура программы похожа на его синтаксис, и поэтому внутреннее представление программы можно определить, прочитав текстовую разметку. Если язык гомоиконичен, это означает, что текст программы имеет такую же структуру, как её абстрактное синтаксическое дерево. Это позволяет всему коду на языке быть доступным и обработанным в качестве данных, используя одно и то же представление.
ISLISP язык программирования из семейства языков LISP, спецификация которого была разработана рабочей группой ISO/IEC JTC 1/SC 22/WG 16. Целью разработки было определение компактного языка, который объединял бы в себе общие черты реально используемых в промышленных целях диалектов Лиспа и мог бы помочь преодолеть различия между ними.

OpenLisp — язык программирования из семейства языков Лисп, разработанный Кристианом Джулиеном. Он соответствует стандарту ISO ISLISP.