Список языков программирования по типу

Это список известных языков программирования , сгруппированных по типам.

Для языков программирования нет всеобъемлющей схемы классификации. Таким образом, во многих случаях язык указывается под несколькими заголовками.

Языки массивов [ править ]

В языках программирования массивов (также называемых векторными или многомерными ) операции над скалярами обобщаются для прозрачного применения к векторам , матрицам и многомерным массивам .

Языки ассемблера [ править ]

Языки ассемблера напрямую соответствуют машинному языку (см. Ниже ), хотя между отдельным оператором и отдельной инструкцией может не быть отображения 1-1, поэтому инструкции машинного кода появляются в форме, понятной людям. Языки ассемблера позволяют программистам использовать символические адреса, которые ассемблер преобразует в абсолютные или перемещаемые адреса. Большинство ассемблеров также поддерживают макросы и символьные константы .

Языки разработки [ править ]

Язык авторинга это язык программирования , используемый для создания учебных пособий, веб - сайтов и других интерактивных компьютерных программ.

• Архитектура типизации информации Дарвина (DITA)
• Лассо
• ПИЛОТ
• УЧИТЕЛЬ
• Авторское ПО

Языки программирования ограничений [ править ]

Язык программирования ограничения является декларативным языком программирования , где отношения между переменными выражены в виде ограничений . Выполнение продолжается, пытаясь найти значения для переменных, которые удовлетворяют всем заявленным ограничениям.

• Затмение

Языки интерфейса командной строки [ править ]

Языки интерфейса командной строки (CLI) также называются пакетными языками или языками управления заданиями. Примеры:

Скомпилированные языки [ править ]

Это языки, обычно обрабатываемые компиляторами , хотя теоретически любой язык может быть скомпилирован или интерпретирован ^{[ необходима ссылка ]} . См. Также скомпилированный язык .

Параллельные языки [ править ]

Языки передачи сообщений предоставляют языковые конструкции для параллелизма . Преобладающая парадигма параллелизма в основных языках программирования, таких как Java, - это параллелизм с общей памятью . Параллельные языки, использующие передачу сообщений, как правило, были вдохновлены вычислениями процессов, такими как взаимодействие последовательных процессов (CSP) или π-исчислением .

Языки с фигурными скобками [ править ]

Кудрявые-кронштейн или фигурные скобки языков программирования имеют синтаксис , который определяет операторные блоки , используя фигурные скобки или фигурных скобок символы {и} . Этот синтаксис возник с BCPL (1966), и был популяризированный C . Многие языки с фигурными скобками происходят от C. Примеры языков с фигурными скобками включают:

Языки потока данных [ править ]

Языки программирования потока данных полагаются на (обычно визуальное) представление потока данных для определения программы. Часто используется для реагирования на дискретные события или для обработки потоков данных. Примеры языков потока данных включают:

Языки, ориентированные на данные [ править ]

Языки, ориентированные на данные, предоставляют мощные способы поиска и управления отношениями, которые были описаны как таблицы отношений сущностей, которые отображают один набор вещей в другие наборы. ^{[ необходима цитата ]} Примеры языков, ориентированных на данные, включают:

Языки таблицы решений [ править ]

Таблицы решений можно использовать в качестве вспомогательных средств для разъяснения логики перед написанием программы на любом языке, но в 1960-х годах был разработан ряд языков, в которых основная логика выражается непосредственно в форме таблицы решений, в том числе:

• Filetab

Декларативные языки [ править ]

Декларативные языки выражают логику вычисления без подробного описания его потока управления. Декларативное программирование отличается от императивного программирования с помощью императивных языков программирования, где поток управления определяется последовательными порядками (императивами). (Pure) функциональные и логические на основе языки программирования также декларативные, и представляют собой основные подкатегории декларативной категории. В этом разделе перечислены дополнительные примеры, не относящиеся к этим подкатегориям.

• Аналитика
• Ant (совмещает декларативное программирование и императивное программирование )
• Карри
• Сайфер
• Распределенный язык спецификации приложений (DASL) (объединяет декларативное программирование и императивное программирование )
• ECL
• Гремлин
• Блеск
• Меркурий
• MetaPost
• Modelica
• Пролог
• QML
• Унция
• RDQL
• SequenceL - чисто функциональный, автоматически распараллеливающийся и свободный от гонок
• SPARQL
• SQL (только DQL, а не DDL, DCL и DML)
• Язык Wolfram Language
• xBase
• Преобразования XSL

Встраиваемые языки [ править ]

В исходном коде [ править ]

Исходные встраиваемые языки встраивают небольшие фрагменты исполняемого кода внутрь фрагмента текста произвольной формы, часто веб-страницы.

Клиентские встроенные языки ограничены возможностями браузера или предполагаемого клиента. Они стремятся обеспечить динамизм веб-страниц без необходимости повторного подключения к серверу.

Серверные встроенные языки намного более гибкие, поскольку почти любой язык может быть встроен в сервер. Целью внедрения фрагментов серверного кода в веб-страницу является динамическое создание дополнительной разметки; сам код исчезает при обслуживании страницы и заменяется ее выводом.

Сторона сервера [ править ]

• PHP
• VBScript
• SMX - предназначен для веб-страниц
• Tcl - серверная часть в NaviServer и важный компонент в системах электронной промышленности
• WebDNA - посвящен веб-сайтам, управляемым базами данных

Приведенные выше примеры специально предназначены для этой цели. Большое количество других языков, таких как Erlang , Scala , Perl и Ruby, можно адаптировать (например, путем преобразования в модули Apache ).

Клиентская сторона [ править ]

• ActionScript
• JavaScript (также известный как ECMAScript или JScript)
• VBScript (только для Windows)

В объектном коде [ править ]

В скомпилированный исполняемый код можно встроить широкий спектр динамических языков или языков сценариев. По сути, объектный код интерпретатора языка должен быть связан с исполняемым файлом. Затем фрагменты исходного кода для встроенного языка могут быть переданы функции оценки в виде строк. Таким образом могут быть реализованы языки управления приложениями, если исходный код вводится пользователем. Предпочтительны языки с небольшими переводчиками.

Образовательные языки [ править ]

Языки, разработанные в первую очередь для обучения программированию.

Эзотерические языки [ править ]

Эзотерический язык программирования является языком программирования , разработанный в качестве критерия границ разработки языка программирования компьютера, как доказательство концепции, или как шутка.

Языки расширения [ править ]

Языки программирования расширений - это языки, встроенные в другую программу и используемые для использования ее функций в сценариях расширения.

Языки четвертого поколения [ править ]

Языки программирования четвертого поколения - это языки высокого уровня, построенные на базе систем баз данных. Обычно они используются в коммерческой среде.

Функциональные языки [ править ]

Языки функционального программирования определяют программы и подпрограммы как математические функции и рассматривают их как первоклассные. Многие так называемые функциональные языки являются «нечистыми» и содержат императивные особенности. Многие функциональные языки привязаны к инструментам математических вычислений. Функциональные языки включают:

Чистый [ править ]

Нечистый [ править ]

Языки описания оборудования [ править ]

В электронике язык описания оборудования (HDL) - это специализированный компьютерный язык, используемый для описания структуры, конструкции и работы электронных схем и, как правило, цифровых логических схем. Двумя наиболее широко используемыми и хорошо поддерживаемыми разновидностями HDL, используемыми в промышленности, являются Verilog и VHDL . Языки описания оборудования включают:

HDL для проектирования аналоговых схем [ править ]

• Verilog-AMS (Verilog для аналоговых и смешанных сигналов)
• VHDL-AMS (VHDL с расширением аналоговых / смешанных сигналов)

HDL для проектирования цифровых схем [ править ]

Императивные языки [ править ]

Императивные языки программирования могут быть мультипарадигмальными и появляться в других классификациях. Вот список языков программирования, которые следуют императивной парадигме :

Языки интерактивного режима [ править ]

Языки интерактивного режима действуют как своего рода оболочка: выражения или утверждения можно вводить по одному, и результат их вычисления виден сразу. Интерактивный режим также называется циклом чтения – оценки – печати (REPL).

Переводимые языки [ править ]

Интерпретируемые языки - это языки программирования, на которых программы могут выполняться интерпретатором из исходного кода. Теоретически любой язык может быть скомпилирован или интерпретирован, поэтому термин интерпретируемый язык обычно относится к языкам, которые обычно интерпретируются, а не компилируются.

Итеративные языки [ править ]

Итеративные языки построены вокруг или предлагают генераторы .

Языки по типу управления памятью [ править ]

Языки со сборкой мусора [ править ]

Языки с ручным управлением памятью [ править ]

• Ада
• C
• C ++
• Фортран
• Паскаль
• Ржавчина
• Цель-C
• Зиг

Языки с детерминированным управлением памятью [ править ]

• Ада
• C
• C ++
• Фортран
• Паскаль
• Ржавчина ^{[1] [2]}
• Цель-C
• Зиг

Языки с автоматическим подсчетом ссылок (ARC) [ править ]

• Цель-C
• Быстрый
• Visual Basic
• Xojo

Языки на основе списков - LISP [ править ]

Языки на основе списков - это тип языка со структурой данных , основанный на структуре данных списка .

Маленькие языки [ править ]

Маленькие языки ^[3] обслуживают специализированную проблемную область.

• awk - используется для работы с текстовыми файлами.
• Комета - используется для решения сложных задач комбинаторной оптимизации в таких областях, как распределение ресурсов и планирование.
• sed - анализирует и преобразует текст
• SQL - имеет только несколько ключевых слов и не все конструкции, необходимые для полноценного языка программирования ^[a] - многие системы управления базами данных расширяют SQL дополнительными конструкциями в качестве языка хранимых процедур.

Языки, основанные на логике [ править ]

Языки, основанные на логике, определяют набор атрибутов, которые должно иметь решение, а не набор шагов для получения решения.

Известные языки, следующие этой парадигме программирования, включают:

• ALF
• Алма-0
• CLACL (язык CLAC)
• Карри
• Фрил
• Flix (функциональный язык программирования с первоклассными ограничениями Datalog)
• Янус
• λProlog (язык логического программирования с полиморфной типизацией, модульным программированием и программированием высшего порядка)
• Оз , и система программирования Моцарта кроссплатформенная Оз
• Пролог (формулирует данные и механизм оценки программы в виде специальной формы математической логики, называемой логикой Хорна, и общего механизма доказательства, называемого логическим разрешением )
  • Меркурий (на основе Пролога)
  • Visual Prolog (объектно-ориентированное расширение Prolog)
• ROOP

Машинные языки [ править ]

Машинные языки напрямую выполняются центральным процессором компьютера. Обычно они формулируются как битовые комбинации, обычно представленные в восьмеричной или шестнадцатеричной системе.. Каждая битовая комбинация заставляет схемы в ЦП выполнять одну из основных операций оборудования. Активация определенных электрических входов (например, контактов корпуса ЦП для микропроцессоров) и логических настроек для значений состояния ЦП управляют вычислениями процессора. Отдельные машинные языки специфичны для семейства процессоров; машинный код для одного семейства процессоров не может работать непосредственно на процессорах в другом семействе, если рассматриваемые процессоры не имеют дополнительного оборудования для его поддержки (например, процессоры DEC VAX включают режим совместимости PDP-11). Они (по сути) всегда определяются разработчиком ЦП, а не третьими сторонами. Символическая версия, язык ассемблера процессора , в большинстве случаев также определяется разработчиком. Некоторые часто используемые машинные кодынаборы инструкций :

Макроязыки [ править ]

Макроязыки с текстовой подстановкой [ править ]

Макроязыки преобразуют один файл исходного кода в другой. «Макрос» - это, по сути, короткий фрагмент текста, который расширяется в более длинный (не путать с гигиеническими макросами ), возможно, с подстановкой параметров. Они часто используются для предварительной обработки исходного кода. Препроцессоры также могут предоставлять такие средства, как включение файлов .

Макроязыки могут быть ограничены воздействием на специально помеченные области кода (предварительно зафиксированные с помощью a #в случае препроцессора C). В качестве альтернативы они не могут, но в этом случае по-прежнему часто нежелательно (например) расширять макрос, встроенный в строковый литерал , поэтому им все еще требуется элементарное понимание синтаксиса. В этом случае они часто применимы более чем к одному языку. В отличие от языков с встраиваемым исходным кодом, таких как PHP , которые являются полнофункциональными.

• cpp (препроцессор C)
• m4 (первоначально от AT&T, в комплекте с Unix)
• ML / I (макропроцессор общего назначения)

Языки прикладных макросов [ править ]

Языки сценариев, такие как Tcl и ECMAScript ( ActionScript , ECMAScript для XML , JavaScript , JScript ), были встроены в приложения. Иногда их называют «макроязыками», хотя и в несколько ином смысле, чем макросы подстановки текста, такие как m4 .

Языки метапрограммирования [ править ]

Метапрограммирование - это написание программ, которые пишут или манипулируют другими программами, включая самих себя, в качестве своих данных или которые выполняют часть работы, которая в противном случае выполняется во время выполнения во время компиляции . Во многих случаях это позволяет программистам делать больше за то же время, которое им потребовалось бы для написания всего кода вручную.

Мультипарадигмальные языки [ править ]

Мультипарадигмальные языки поддерживают несколько парадигм программирования . Они позволяют программе использовать более одного стиля программирования . Цель состоит в том, чтобы позволить программистам использовать лучший инструмент для работы, признавая, что ни одна парадигма не решает все проблемы самым простым или наиболее эффективным способом.

Численный анализ [ править ]

Несколько языков программирования общего назначения, таких как C и Python , также используются для технических вычислений, этот список посвящен языкам, почти исключительно используемым для технических вычислений.

Неанглийские языки [ править ]

• Chinese BASIC - китайский
• Fjölnir - Исландский
• Language Symbolique d'Enseignement - французский
• Лексика - Испанский
• Рапира - Русский
• ежил - тамильский

Объектно-ориентированные языки на основе классов [ править ]

Основанные на классах языки объектно-ориентированного программирования поддерживают объекты, определенные их классом. Определения классов включают данные членов. Передача сообщений является понятие ключ (если не ключевое понятие) в объектно-ориентированных языках.

Полиморфные функции, параметризованные классом некоторых из их аргументов, обычно называются методами. В языках с единственной отправкой классы обычно также включают определения методов. В языках с множественной отправкой методы определяются универсальными функциями . Есть исключения, когда единичные методы диспетчеризации являются универсальными функциями (например , объектная система Bigloo ).

Множественная отправка [ править ]

Единичная отправка [ править ]

Объектно-ориентированные языки на основе прототипов [ править ]

Языки на основе прототипов - это объектно-ориентированные языки, в которых удалено различие между классами и экземплярами:

Внешние языки правил [ править ]

Внешние языки правил обозначают блоки кода их отступами .

Процедурные языки [ править ]

Языки процедурного программирования основаны на концепции единицы и области действия (диапазона просмотра данных) исполняемого оператора кода. Процедурная программа состоит из одного или нескольких блоков или модулей, либо закодированных пользователем, либо предоставленных в библиотеке кода; каждый модуль состоит из одной или нескольких процедур, также называемых функцией, подпрограммой, подпрограммой или методом, в зависимости от языка. Примеры процедурных языков включают:

Языки запросов [ править ]

Рефлексивный язык [ править ]

Отражающие языки позволяют программам проверять и, возможно, изменять свою структуру высокого уровня во время выполнения или компиляции. Это является наиболее распространенным в виртуальных языках машины программирования высокого уровня , таких как Smalltalk , и менее распространенных языках программирования низкого уровня , как C . Языки и платформы, поддерживающие рефлексию:

Языки, основанные на правилах [ править ]

Языки на основе правил создают экземпляры правил при активации условиями в наборе данных. Из всех возможных активаций выбирается некоторый набор и выполняются операторы, принадлежащие этим правилам. Языки, основанные на правилах, включают: ^{[ необходима ссылка ]}

Языки сценариев [ править ]

« Язык сценариев » имеет два явно разных, но на самом деле схожих значения. В традиционном смысле языки сценариев предназначены для автоматизации часто используемых задач, которые обычно включают вызов или передачу команд внешним программам. Многие сложные прикладные программы предоставляют встроенные языки, позволяющие пользователям автоматизировать задачи. Те, что являются интерпретирующими , часто называют языками сценариев.

В последнее время многие приложения имеют встроенные традиционные языки сценариев, такие как Perl или Visual Basic , но все еще используется довольно много родных языков сценариев. Многие языки сценариев компилируются в байт-код, а затем этот (обычно) независимый от платформы байт-код запускается через виртуальную машину (по сравнению с виртуальной машиной Java ).

Языки на основе стека [ править ]

Языки на основе стека - это тип языка со структурой данных , основанный на структуре данных стека .

Синхронные языки [ править ]

Языки синхронного программирования оптимизированы для программирования реактивных систем, систем, которые часто прерываются и должны быстро реагировать. Многие такие системы также называются системами реального времени и часто используются во встроенных системах .

Примеры:

• Аргус
• Averest
• Эстерель
• Блеск
• Сигнал

Языки затенения [ править ]

Язык затенения является графическим программированием языка приспособлен для программирования шейдерных эффектов. Такие языковые формы обычно состоят из специальных типов данных, таких как «цвет» и «нормальный». В связи с разнообразием целевых рынков компьютерной 3D-графики.

Рендеринг в реальном времени [ править ]

Они обеспечивают как более высокую аппаратную абстракцию, так и более гибкую модель программирования, чем предыдущие парадигмы, в которых жестко запрограммированы уравнения преобразования и затенения. Это дает программисту больший контроль над процессом рендеринга и предоставляет более богатый контент с меньшими накладными расходами.

Автономный рендеринг [ править ]

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

Языки обработки синтаксиса [ править ]

Эти языки помогают создавать лексические анализаторы и парсеры для контекстно-свободных грамматик .

• ANTLR
• Coco / R (EBNF с семантикой)
• GNU bison (версия Yacc от FSF)
• GNU Flex (версия Lex для FSF)
• glex / gyacc (компилятор GoboSoft для Eiffel)
• lex (Лексический анализ, от Bell Labs)
• M4
• Грамматика выражения синтаксического анализа (PEG)
• Пролог
• Emacs Lisp
• Лисп
• SableCC
• Схема
• yacc (еще один компилятор компилятора от Bell Labs)
• JavaCC

Системные языки [ править ]

В языках программирования систем предназначены для задач низкого уровня , как управление памятью и управление задачами. Под языком системного программирования обычно понимается язык программирования, используемый для системного программирования; такие языки предназначены для написания системного программного обеспечения, которое обычно требует иных подходов к разработке по сравнению с прикладным программным обеспечением.

Системное программное обеспечение - это компьютерное программное обеспечение, предназначенное для работы и управления компьютерным оборудованием, а также для обеспечения платформы для запуска прикладного программного обеспечения. Системное программное обеспечение включает такие категории программного обеспечения, как операционные системы, служебные программы, драйверы устройств, компиляторы и компоновщики. Примеры системных языков включают:

Языки трансформации [ править ]

Визуальные языки [ править ]

Языки визуального программирования позволяют пользователям определять программы в двух (или более) измерениях, а не в виде одномерных текстовых строк, с помощью графических макетов различных типов. Некоторые языки программирования потоков данных также являются визуальными языками.

Языки вирта [ править ]

Ученый-компьютерщик Никлаус Вирт разработал и реализовал несколько влиятельных языков.

Языки на основе XML [ править ]

Это языки, основанные на XML или работающие с ним .

См. Также [ править ]

• Парадигма программирования
• IEC 61131-3 - стандарт языков программирования программируемых логических контроллеров (ПЛК)
• Образовательный язык программирования
• Эзотерический язык программирования

Заметки [ править ]

Ссылки [ править ]