Различают также следующие виды языков программирования:
Алгоритмический язык [algorithmic language] — совокупность символов, соглашений и правил, используемых для однозначного описания алгоритмов и обычно являющихся частью языка программирования.
Неалгоритмический язык [nonalgorithmic language] — язык программирования, тексты которого не содержат указаний на порядок выполнения операций и служат лишь исходным материалом для синтеза алгоритма решения задачи.
Формальный язык [formal language] — язык программирования, построенный по правилам некоторого логического исчисления или формальной грамматики [formal grammar], представляющей собой систему правил построения в заданном алфавите конечных знаковых последовательностей, множество которых образует формальный язык.
Исходный язык [source language] — язык программирования, на котором написана программа, в отличие от машинного языка, на котором программы выполняются компьютером. Исходные языки классифицируются на языки высокого уровня и языки низкого уровня.
Машинный (абсолютный) язык, язык ЭВМ [computer (machine) language] — язык программирования, предназначенный для представления программ в форме, обеспечивающей возможность их выполнения техническими средствами.
Машинно-зависимый (машинно-ориентированный) язык, машинно-зависимый язык программирования [computer-sensitive (computer-oriented) language] — язык программирования, учитывающий структуру и характеристики ЭВМ определенного типа или конкретной ЭВМ.
Машинно-независимый язык [machine-independent language] — язык программирования, структура и средства которого не связаны ни с какой конкретной ЭВМ и позволяют выполнять составленные на нем программы на любой ЭВМ, снабженной трансляторами (см. далее) с этого языка.
Символический язык, язык символического кодирования [symbolic language] — язык программирования, ориентированный на конкретные ЭВМ и основанный на кодировании машинных операций при помощи определенного набора символов.
Гибридный (комбинированный) язык [hibrid language] — язык программирования, использующий также и средства другого языка.
Графический язык [graphic language] — язык, предназначенный для написания программ машинной графики и пользования ими.
Базовый язык [base language]
1.Машинный язык, общий для семейства ЭВМ.
2.Язык программирования в СУБД с автономным языком.
Общий язык [common language] — машинный язык, общий для группы ЭВМ и используемых ими внешних устройств.
Эталонный язык [reference language] — язык — основа для всех его конкретных версий, являющихся вариантами адаптации эталонного языка к определенным условиям применения и назначения.
Язык ассемблера, ассемблер [assembler language] — универсальный язык программирования, относящийся к категории языков низкого уровня, структура которого определяется форматами команд, данными машинного языка и архитектурой ЭВМ. Используется программистами в тех случаях, когда невозможно применение языка высокого уровня или требуются эффективные программы в машинных кодах.
Декларативный (непроцедурный) язык [declarative (nonprocedural) language] — язык программирования, который позволяет задавать связи и отношения между объектами и величинами, но не определяет последовательность выполнения действий (например, языки Пролог, QBE).
Императивный (процедурный) язык [imperative language] — язык программирования, который позволяет в явной форме (при помощи задания выполняемых операторов) определять действия и порядок (последовательность) их выполнения.
Язык функционального программирования, функциональный язык [functional language] — декларативный язык программирования, основанный на понятии функций, которые задают зависимость, но не определяют порядок вычислений.
Специализированный язык [special language] — язык программирования, ориентированный на решение определенного круга задач.
Язык описания страниц [PDL — Page Description Language] — специализированный язык, предназначенный для печатающих устройств. Предусматривает возможность использования изображений в формате, независимом от параметров устройства отображения. Наиболее известным языком такого типа является PostScript.
Автономный язык [freestanding language] — специализированный язык высокого уровня в замкнутых СУБД (см. "СУБД с автономным языком").
Язык конструирования интерактивных технологий — в СУБД — язык, предназначенный для описания технологических процессов обработки данных с учетом разделения характера операций по их типам, а также обеспечения диалога с администратором системы.
Язык манипулирования данными, ЯМД [DML — Data Manipulation Language] — в СУБД — язык, предназначенный для обращения к базе данных и выполнения поиска, чтения и модификации ее записей.
Язык обработки списков [list language] — специализированный язык, предназначенный для описания процессов обработки данных, представленных в виде списков объектов.
Язык описания данных [DDL — Data Description Language] — язык, предназначенный для описания концептуальной схемы базы данных.
Язык описания хранения данных [DSDL — Data Storage Description Language] — язык, предназначенный для описания физической структуры (схемы) базы данных.
Язык описания страниц [page description language] — система для кодировки документов, которая позволяет точно описать ее внешний вид после подготовки к выводу на печать или на дисплей. Примером использования такого языка служит PDF (Portable Document Format), разработанный Adobe для хранения и представления изображений страниц.
Язык представления знаний [KRL — Knowledge Representation Language] — декларативный или декларативно-процедурный язык, предназначенный для представления знаний в памяти ЭВМ (например, языки Лисп и Пролог).
Язык публикаций [publication language] — язык, используемый для публикации алгоритмов и программ.
Язык спецификаций [specification language] — декларативный язык для задания спецификаций программ.
Проблемно-ориентированный язык [problem-oriented language] — язык программирования, предназначенный для решения определенного класса задач (проблем).
Процедурный (процедурно-ориентированный) язык [procedure-oriented language] — проблемно-ориентированный язык, облегчающий выражение процедуры как точного алгоритма.
Язык реального времени [real-time language] — язык, используемый для программирования задач, в которых критическим является время реакции ЭВМ на сигналы, требующие от нее немедленных действий (например, язык Ада).
Язык управления пакетом [batch control language] — набор команд, директив, квалификаторов и правил их использования для управления пакетной обработкой данных.
Язык управления заданиями [job-control language] — язык, на котором записывается последовательность команд, управляющих выполнением задания. Предназначался для обучения программированию. Отличается простотой, легко усваивается начинающими программистами благодаря наличию упрощенных конструкций языка Фортран и встроенных математических функций, алгоритмов и операторов. Существует множество различных версий Бейсика, которые не полностью совместимы друг с другом. Некоторые реализации Бейсика включают средства обработки данных и наборов данных. Большинство версий Бейсика используют интерпретатор, который преобразует его компоненты в машинный код и позволяет запускать программы без промежуточной трансляции. Некоторые более совершенные версии Бейсика позволяют использовать для этой цели трансляторы. На IBM PC широко используются Quick Basic фирмы Microsoft, Turbo Basic фирмы Borland и Power Basic (усовершенствованная версия Turbo Basic, распространяемая фирмой Spectra Publishing). В начале 1999 г. фирма Microsoft выпустила версию языка Visual Basic 6.0 (VB 6.0), предназначенного для создания многокомпонентных программных приложений для систем уровня предприятий.
Кобол [COBOL — COmmon Business-Oriented Language] — язык программирования высокого уровня, разработанный в конце 1950-х гг. ассоциацией КАДАСИЛ для решения коммерческих и экономических задач. Отличается развитыми средствами работы с файлами. Поскольку команды программ, написанных на этом языке, активно используют обычную английскую лексику и синтаксис, Кобол рассматривается как один из самых простых языков программирования. В настоящее время используется для решения экономических, информационных и других задач.
Лисп [LISP — LISt Processing] — алгоритмический язык, разработанный в 1960 г. Дж. Маккарти и предназначенный для манипулирования перечнями элементов данных. Используется преимущественно в университетских лабораториях США для решения задач, связанных с искусственным интеллектом. В Европе для работ по искусственному интеллекту предпочитают использовать Пролог.
ЛОГО [LOGO or греч. logos — слово] — язык программирования высокого уровня, разработан в Массачусетском технологическом институте ориентировочно в 1970 г. для целей обучения математическим понятиям. Используется также в школах и пользователями ПЭВМ при написании программ для создания чертежей на экране монитора и управления перьевым графопостроителем.