Сборник языков программирования А-я

163

Oz (оз) — мультипарадигменный язык программирования (1991, авторы — Gert Smolka, Seif Haridi, Peter Van Roy), объединяющий функциональную, логическую, императивную, объектно ориентированную и параллельную парадигмы. Его ядро построено вокруг модели декларативного параллелизма и потоковых переменных: вычисления запускаются, когда становятся доступны данные, а не по жёсткому порядку команд.

Ключевые особенности: программирование с ограничениями (через вычислительные пространства), распределённость «из коробки», ленивые и энергичные вычисления, записи и списки как основные структуры данных. Язык реализован в среде Mozart, которая включает IDE, отладчик и профайлер. Oz активно использовался в образовании (в частности, в учебнике Concepts, Techniques, and Models of Computer Programming) и для решения задач оптимизации и поиска.

P

164

P4 (пи-фор) — предметно ориентированный язык для программирования плоскости данных сетевых устройств (коммутаторов, маршрутизаторов, SmartNIC, FPGA, ASIC), созданный в 2013–2014 годах консорциумом P4 Language Consortium при поддержке ONF и Linux Foundation. Его ключевая идея — протокольная независимость: программист сам описывает форматы заголовков и логику обработки пакетов, а не полагается на жёстко заданные функции устройства.

Основные абстракции P4: заголовки (header), парсеры (parser), таблицы match action, действия (action) и метаданные — они задают конвейерную обработку пакета. Программы P4 компилируются под целевую архитектуру (например, v1model, Tofino) и генерируют не только конфигурацию плоскости данных, но и API (через P4Runtime) для управления ею из плоскости управления.

P4 активно используют гиперскейлеры (Google, Microsoft, Alibaba) и телеком провайдеры для телеметрии, балансировки нагрузки, глубокой инспекции пакетов и кастомных протоколов. Язык позволяет точно моделировать поведение сети, упрощает тестирование и повышает предсказуемость.

165

Pascal (паскаль) — Название дано в честь французского математика и философа Блеза Паскаля.

Строго типизированный императивный язык программирования, созданный Никлаусом Виртом в 1970 году как учебный и одновременно практичный инструмент для освоения структурного программирования. Его философия строилась вокруг дисциплины кода: явные типы, блочная структура, чёткое разделение подпрограмм и запрет на «хаотичные» переходы (оператор goto намеренно ограничен).

Изначально Pascal задумывался как преемник ALGOL 60 и альтернатива PL/I: он упрощал сложные конструкции, но сохранял выразительность для описания алгоритмов. Ключевыми элементами стали типы данных (включая перечисления и поддиапазоны), записи (record), множества, а также процедуры и функции с передачей параметров по значению и по ссылке. Система типов не только защищала от ошибок, но и служила обучающим инструментом: программист учился думать о границах данных и инвариантах.

Pascal получил широкое распространение в образовании и промышленности: на его базе появились Turbo Pascal (Borland), Delphi (объектно ориентированное развитие), а также диалекты для встраиваемых систем. Turbo Pascal принёс в индустрию интегрированную среду разработки, быструю компиляцию и удобные библиотеки для работы с экраном и файлами, что сделало язык популярным для создания прикладных программ в 1980–1990 х. Delphi продолжил эту линию, добавив визуальное проектирование и мощную работу с базами данных.

Сегодня Pascal сохраняет нишу в обучении, а Delphi остаётся востребованным для корпоративных Windows приложений. Влияние языка заметно в синтаксисе и подходах многих современных языков: строгая типизация, структурирование кода и акцент на читаемость стали стандартами индустрии.

166

Perl (перл) — высокоуровневый интерпретируемый язык общего назначения, созданный Ларри Уоллом в 1987 году. Изначально задумывался для удобной обработки текста, отчётов и системных скриптов в Unix среде, поэтому славится мощнейшей поддержкой регулярных выражений и гибкими средствами работы со строками и файлами.

Философия Perl выражена принципом TMTOWTDI (Theres More Than One Way To Do It): одну и ту же задачу можно решить несколькими способами, а язык даёт максимум выразительных средств. Perl поддерживает процедурную, объектно ориентированную и функциональную парадигмы, имеет огромную коллекцию модулей (CPAN), кроссплатформенный и активно использовался для CGI скриптов, системного администрирования, парсинга и интеграции разнородных систем.

Хотя в новых проектах Perl уступил место Python и другим языкам, он остаётся критически важным для поддержки legacy систем, автоматизации в Unix инфраструктуре и задач, где нужны быстрые текстовые трансформации.

167

PHP (пи-эйч-пи, Personal Home Page, позже Hypertext Preprocessor) — скриптовый язык общего назначения, созданный Расмусом Лердорфом в 1994 году как простой инструмент для вставки динамического контента в веб страницы. С развитием проекта язык превратился в полноценную платформу для серверной веб разработки и сегодня остаётся одним из самых распространённых языков в интернете: на нём работают миллионы сайтов и значительная часть CMS (WordPress, Joomla, Drupal).

Ключевые особенности PHP: тесная интеграция с HTTP и HTML, интерпретация на стороне сервера, гибкая система типов и обширная стандартная библиотека для работы с базами данных, файловой системой, HTTP заголовками и сессиями. Язык поддерживает процедурную, объектно ориентированную и функциональную парадигмы; в последних версиях (8.x) добавлены строгая типизация, JIT компиляция, улучшенные возможности асинхронности и более чёткие механизмы обработки ошибок.

Экосистема PHP включает пакетный менеджер Composer, фреймворки (Laravel, Symfony, Yii), инструменты тестирования (PHPUnit) и стандарты (PSR), что делает его пригодным не только для простых скриптов, но и для сложных корпоративных приложений. PHP исторически развивался как «язык для веба», поэтому его сильные стороны — быстрая разработка, простота развёртывания и огромное сообщество.

Сегодня PHP сохраняет доминирующую нишу в контентных проектах и корпоративных порталах, а современные версии заметно сократили разрыв в производительности с другими серверными языками.

168

Pico (пико) — Название отсылает к префиксу «pico » (10¹²), подчёркивая минимализм и компактность языка.

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

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

169

Piet (пиет) — Название дано в честь художника Пита Мондриана (Piet Mondrian) — его абстрактные композиции визуально близки к тому, как выглядят программы на этом языке.

эзотерический графический язык программирования, созданный Дэвидом Морган Маром в 2001 году. Вместо текста программа представляет собой цветное изображение: команды кодируются переходами между цветными блоками, а выполнение идёт по «указателю», который перемещается по картинке. В языке используется стековая модель вычислений с целыми числами; всего задействовано 20 цветов, различающихся по оттенку и яркости — комбинации этих параметров задают операции (сложение, вывод, ввод и т. д.). Белые блоки работают как «проходы», чёрные — как «стены», меняющие направление указателя.

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

170

PL/I (Programming Language I,«язык программирования номер один») — универсальный высокоуровневый язык программирования, разработанный компанией IBM в 1964 году как попытка объединить возможности научных (Fortran) и бизнес приложений (COBOL) в единой среде для платформы System/360. Его создавали комитетом из разработчиков и пользователей, чтобы покрыть широкий спектр задач, и это определило его масштаб: PL/I сочетает структурное программирование (в духе Algol 60), обработку записей и файлов (как в COBOL) и числовые вычисления (как в Fortran), а также добавляет уникальные возможности — асинхронную обработку событий, указатели, рекурсию и многопоточность на уровне языка.

Ключевые особенности: свободный синтаксис (ключевые слова могут быть идентификаторами в зависимости от контекста), развитая система типов с неявными преобразованиями, сложные структуры данных (включая объединения), обработка исключений через блоки ON, а также поддержка параллельных задач (TASK). Язык стал первым, где термин «статическая» переменная использовался в современном смысле — для данных, размещённых не в стеке.

PL/I широко применялся на мейнфреймах в банковской, финансовой и государственной сферах; многие системы на нём до сих пор работают как legacy инфраструктура. Несмотря на сложность стандарта и трудности компиляции, PL/I оказал влияние на развитие индустрии: ряд идей (обработка событий, указатели, семантика областей видимости) позже нашли отражение в C и других языках.

171

Pony (пони) — статически типизированный компилируемый язык, созданный Сильваном Клебшем и развиваемый сообществом Ponylang Foundation (первые публичные версии — середина 2010 х). Его главная цель — сделать параллельное программирование безопасным и предсказуемым: язык гарантирует отсутствие гонок данных (data races) и взаимных блокировок (deadlocks) на уровне системы типов.

В основе Pony — модель акторов: каждый актор изолирован, а взаимодействие идёт через передачу сообщений. Безопасность параллелизма обеспечивается системой ссылочных возможностей (reference capabilities): компилятор на этапе сборки строго контролирует, кто и как может читать или изменять данные. Pony не использует сборщик мусора — управление памятью строится на семантике владения и линейной типизации, что даёт предсказуемую производительность.

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

172

PostScript (пост-скрипт) — стековый тьюринг полный язык программирования и язык описания страниц (PDL), разработанный Джоном Уорноком и Чаком Гешке в Adobe Systems и выпущенный в 1984 году. Изначально он создавался как платформонезависимый стандарт для точной передачи макета страницы на печатающее устройство: один и тот же PostScript файл мог одинаково качественно выводиться и на лазерный принтер (300 dpi), и на фотонабор (2400 dpi).

PostScript использует обратную польскую нотацию (RPN) и работает со стеком: операнды кладутся в стек, затем вызывается оператор, который забирает нужное количество значений и возвращает результат. Язык поддерживает числа, строки, массивы, словари, процедуры; динамическая типизация и словари позволяют реализовывать гибкие структуры данных. Графическая модель PostScript — двумерная страница с системой координат (начало в левом нижнем углу, единица — типографский пункт), где доступны трансформации: translate, rotate, scale, а также рисование кривых Безье, заливок и штриховок.

Важная часть PostScript — шрифты: язык изначально ориентирован на векторные глифы, что обеспечивает масштабируемость без потери качества; форматы Type 1 и Type 3 стали отраслевым стандартом. Программы на PostScript обычно не пишут вручную: их генерируют издательские системы, драйверы и утилиты; интерпретаторами выступают RIP процессоры в принтерах либо программные движки вроде Ghostscript.

PostScript повлиял на индустрию: он стал основой PDF, задал стандарт для векторной печати и закрепил стековую модель в графических языках. Сегодня он сохраняется как внутренний формат в профессиональной полиграфии и при работе с legacy оборудованием, а его идеи живут в современных форматах и растеризаторах.

173

Processing (проц) — язык и среда для визуального программирования, созданные в 2001 году Кейси Рисом и Беном Фраем (MIT Media Lab) как инструмент для художников, дизайнеров и новичков в программировании. Изначально вырос из проекта Design By Numbers и задумывался как способ сделать код доступным для творческого выражения: чтобы человек мог рисовать, анимировать и создавать интерактивные работы через простые команды, не погружаясь сразу в низкоуровневые детали.

Processing базируется на Java и использует её синтаксис, но скрывает сложность за набором понятных функций для графики: size(), background(), ellipse(), line(), а также за двумя ключевыми методами — setup() (настройка) и draw() (цикл отрисовки). Программа в Processing называется «скетчем» (sketch) и представляет собой компактный код, который сразу даёт визуальный результат. Язык поддерживает 2D и 3D графику, работу с пикселями, видео, звуком, мышью и клавиатурой, а также экспорт в разные форматы (видео, изображения, приложения).

Экосистема включает множество библиотек для компьютерного зрения, физики, сетевых взаимодействий и т. д. Есть и производные проекты: p5.js (JavaScript версия для веба), а также связь с миром электроники (через Wiring и Arduino). Processing активно используют в образовании, генеративном искусстве, визуализации данных и прототипировании интерактивных инсталляций.

174

Prolog (пролог) — язык логического программирования, созданный в 1972 году Аленом Кольмероэ; базируется на формализме логики первого порядка и методе резолюций. Программа в Prolog — это набор фактов и правил (совокупность предикатов), а выполнение сводится к поиску доказательства запроса (цели) через унификацию и перебор с возвратом (backtracking).

Ключевые особенности: декларативный стиль («что нужно получить», а не «как вычислить»), переменные как логические (не присваивание, а связывание), встроенная поддержка рекурсии и работы со структурами данных (термами, списками). Prolog широко применяют в ИИ (экспертные системы, обработка естественного языка), для разбора грамматик, поиска в графах и задач удовлетворения ограничений.

175

PS (ПауэрШелл, PowerShell) — объектно ориентированная командная оболочка и сценарный язык, созданный Microsoft (автор — Джеффри Сновер) и впервые выпущенный в 2006 году. Изначально разрабатывался как современная замена cmd.exe для Windows, а с версии 6 стал кроссплатформенным (Windows, macOS, Linux) и развивается как PowerShell (Core) с открытым исходным кодом.

Ключевое отличие PowerShell от традиционных оболочек — работа не с текстом, а с .NET объектами: конвейеры передают структурированные данные между командлетами, что упрощает обработку и делает скрипты декларативными и читаемыми. Основа языка — командлеты(cmdlets), именуемые по шаблону «Глагол Существительное» (например, Get-Process, Set-Location). Поддерживаются полноценные конструкции программирования: функции, модули (.psm1), классы, циклы, условия, регулярные выражения, а также интеграция с COM, WMI, ADSI и REST API.

PowerShell глубоко интегрирован в экосистему Microsoft: используется для управления Active Directory, Exchange, SharePoint, Azure, Hyper V, а также для автоматизации развёртывания, мониторинга и CI/CD. Важные возможности — удаленное выполнение через WinRM и SSH, управление политиками выполнения скриптов, работа с реестром, файловой системой и сертификатами. Расширяется через модули из PowerShell Gallery, а для разработки применяют VS Code с расширением PowerShell.

Сегодня PowerShell — стандарт де факто для администрирования Windows и гибридных сред, а его объектная модель и декларативный стиль повлияли на подходы к автоматизации в облачных и DevOps практиках.

176

Pure (пьюр) — функциональный язык программирования с динамической типизацией, основанный на переписывании термов (term rewriting); разработан Клаусом Люке и активно развивался в 2010 х. Программы в Pure — это наборы правил перезаписи, которые система применяет к выражениям, упрощая их до нормальной формы. Язык поддерживает ленивые вычисления, работу со списками и матрицами, а также интеграцию с C библиотеками — это делает его удобным для математических и научных расчётов.

Pure сочетает простоту декларативного описания с высокой производительностью за счёт компиляции в нативный код через LLVM. Хотя экосистема и сообщество сравнительно невелики, язык остаётся нишевым инструментом для прототипирования математических алгоритмов и задач, где естественна запись через правила преобразований.

177

Python (питон, пайтон) — название отсылает не к змее, а к комедийному шоу Monty Pythons Flying Circus— автор языка Гвидо ван Россум был его поклонником, а питонов в логотип добавили пользователи в 2000-х. Так что две змеи — это не про рептилий, а про суть языка: гибкость, баланс разных возможностей и силу сообщества.

Высокоуровневый мультипарадигменный язык программирования общего назначения, созданный Гвидо ван Россумом и впервые выпущенный в 1991 году. Его философия сформулирована в «The Zen of Python»: простота, читаемость, явное лучше неявного, практичность важнее безупречности. Python поддерживает процедурную, объектно ориентированную и функциональную парадигмы, а также активно используется в императивном стиле с акцентом на понятность кода.

Одна из ключевых особенностей Python — использование отступов для обозначения блоков кода: это не просто стиль, а часть синтаксиса, которая дисциплинирует структуру и делает код единообразным. Язык имеет динамическую типизацию с сильной системой типов, богатую стандартную библиотеку и огромную экосистему сторонних пакетов (через PyPI и менеджер pip). В современных версиях (3.x) улучшены производительность, асинхронность (async/await), типизация (аннотации и typing) и работа с Unicode.

Python доминирует в нескольких крупных нишах: анализ данных и машинное обучение (библиотеки NumPy, pandas, scikit learn, PyTorch, TensorFlow), веб разработка (Django, FastAPI, Flask), автоматизация и скрипты, DevOps и инфраструктура (Ansible, Terraform plugins), научные вычисления и образование. Его ценят за низкий порог входа, выразительность и скорость прототипирования: часто на Python сначала реализуют идею, а затем, если нужно, переписывают критичные части на C/C++ или Rust.

Экосистема включает зрелые инструменты разработки: виртуальные окружения (venv), системы сборки, линтеры и форматеры (flake8, black), средства тестирования (pytest), CI/CD интеграции и контейнеризацию. Python работает на множестве платформ и легко встраивается в другие системы как встраиваемый язык или через FFI. Влияние Python заметно в трендах индустрии: рост роли данных, демократизация ML, популярность Jupyter ноутбуков и смещение к декларативным и асинхронным подходам.

Q

178

Q (кью, язык запросов/надстройка над K) — язык запросов и прикладного программирования, созданный Артуром Уитни как высокоуровневая надстройка над языком K (разработка Kx Systems). Он ориентирован на сверхбыструю обработку больших объёмов структурированных данных — прежде всего в финансах: торговые системы, биржевые потоки, риск аналитика.

Главная особенность Q — векторная обработка и работа с колонками «как с атомами»: операции применяются сразу ко всему массиву без явных циклов. В языке глубоко интегрированы табличные структуры (таблицы и словари как базовые типы) и мощный синтаксис запросов, близкий к SQL, но гораздо более компактный. Q работает поверх K, который реализует экстремально эффективную внутреннюю модель данных и вычислений; итоговая производительность достигается за счёт сочетания лаконичного синтаксиса и низкоуровневой оптимизации движка.

Экосистема Q тесно связана с СУБД kdb+ — это де факто стандарт для временных рядов и потоковых данных в финансовой индустрии.

179

Q# (кью-шаррп) — доменно специфичный язык программирования для квантовых вычислений, разработанный Microsoft и впервые представленный в 2017 году в составе Quantum Development Kit (QDK). Он не предназначен для классических вычислений: его задача — описывать квантовые алгоритмы и управлять квантовыми операциями, а исполнение происходит либо на симуляторе, либо на реальном квантовом оборудовании через гибридную модель.

Ключевые особенности Q# — явное разделение классических и квантовых частей кода, поддержка операций над кубитами (суперпозиция, запутанность), встроенные примитивы для квантовых подпрограмм и тесная интеграция с классическим кодом на C#/Python. Язык поддерживает концепции вроде обратимых вычислений и измерения состояний, а также предоставляет средства для тестирования квантовых алгоритмов на классических машинах.

Экосистема Q# включает симулятор, библиотеки готовых квантовых примитивов, инструменты отладки и доступ к облачным квантовым ресурсам.

180

QuakeC (квейк-си, квак-си) — скриптовый язык, созданный Джоном Кармаком (id Software) специально для движка Quake (1996) и предназначенный для описания игровой логики внутри игры. По синтаксису он близок к C, но сильно упрощён и адаптирован под задачи шутера: оперирует сущностями (entities), их полями и событиями, а не общей абстракцией.

На QuakeC писали поведение монстров, триггеры, оружие, эффекты и другие элементы геймплея. Код компилировался компилятором qcc в байт код (файл progs.dat), который исполнялся встроенной виртуальной машиной движка — это давало безопасность и кроссплатформенность, схожую с Java. QuakeC стал одним из первых массовых инструментов для моддинга: благодаря ему появились культовые режимы вроде Capture the Flag.

Хотя в Quake 2 и далее id Software перешла на нативные DLL/SO модули, QuakeC остался важной вехой в истории геймдева: он показал, как встроенный язык может сделать игру открытой для творчества сообщества.

R

181

R (ар) — язык программирования и среда для статистической обработки данных и графики, созданный Россом Айхакой и Робертом Джентлменом в 1993 году как свободная реализация языка S (из Bell Labs) в рамках проекта GNU. Название «R» отсылает к именам авторов (Ross и Robert) и одновременно к языку S — R задумывался как его открытый аналог.

R — интерпретируемый, объектно ориентированный язык с акцентом на векторные операции: даже скаляр в R — это вектор длины 1, а арифметика и функции работают сразу над целыми массивами. Основные структуры данных — векторы, матрицы, списки, фреймы данных; язык поддерживает несколько систем объектно ориентированного программирования (S3, S4, R6).

Главная сила R — в экосистеме пакетов: через репозиторий CRAN доступно более 20 000 пакетов для статистики, машинного обучения, визуализации, работы с временными рядами, биоинформатикой и др. Популярные инструменты — ggplot2 (качественная графика), dplyr/tidyr (манипуляции с данными), shiny (интерактивные веб приложения на R). Для разработки широко используют RStudio, Jupyter (через IRkernel), VS Code.

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

182

Ratfor (рэтфор, от Rational Fortran, рациональный Фортран) — препроцессор для Fortran, созданный Брайаном Керниганом в Bell Labs в 1974 году, чтобы сделать программирование на Fortran 66 более удобным и современным. Ratfor добавлял привычные управляющие конструкции (if else, while, for, switch), группировку операторов через фигурные скобки, свободный формат записи (не привязанный к жёстким колонкам старого Фортрана) и нормальные операторы сравнения (<, >и т. д.) вместо архаичных .LT., .GT. и пр.

Код на Ratfor транслировался в стандартный Fortran, который затем компилировался обычным фортрановским компилятором. Ratfor активно использовался в книге «Software Tools» (Керниган и Плаугер) как пример создания переносимых инструментов и стал важным шагом в эволюции стиля программирования: он позволял писать структурированный код, избегая избыточного использования GOTO и нумерации операторов. Сегодня Ratfor — исторический язык, но его идеи повлияли на развитие структурированного программирования и на более поздние версии Fortran (в частности, на свободный формат и современные управляющие конструкции).