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

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

Язык активно используют как встроенный движок скриптов в инди играх, плагинах, инструментах автоматизации и кастомных UI. Есть реализации для Windows, macOS, Linux, мобильных платформ; экосистема включает базовые библиотеки и биндинги к C/C++.

205

Standard ML(SML)— строго типизированный мультипарадигменный язык с ядром в функциональном стиле, стандартизованный в 1990 х годах (SML97). Его корни — в метаязыке ML для системы доказательства теорем LCF; ключевые идеи развивали Робин Милнер и его группа в Эдинбурге.

Главная сила SML — надёжность за счёт мощной системы типов по Хиндли–Милнеру: типы выводятся автоматически, но проверяются строго, ловя ошибки ещё до запуска. Язык сочетает чистые функциональные конструкции (неизменяемые данные, функции высшего порядка, сопоставление с образцом) с контролируемыми императивными возможностями (ссылки, мутабельность, ввод вывод).

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

Распространённые реализации: SML/NJ, Poly/ML, MLton (с агрессивными оптимизациями). SML повлиял на дизайн OCaml, Haskell и современных систем типов.

206

SuperCollider (суперколлайдер) — открытая кроссплатформенная среда и язык для синтеза звука и алгоритмической композиции в реальном времени, созданная Джеймсом Маккартни и впервые выпущенная в 1996 году. Архитектура построена по модели «клиент — сервер»: звуковой движок scsynth (оптимизированный C++ сервер с Unit Generators, древовидной структурой узлов и шинной системой) управляется через язык sclang по протоколу OSC.

sclang — динамически типизированный объектно ориентированный язык с чертами Smalltalk и синтаксисом семейства C; он поддерживает замыкания, частичные применения, паттерны, GUI компоненты и рефлексию. SuperCollider активно используют для живого кодирования (live coding), алгоритмической музыки, акустических исследований, звукового дизайна и интерактивных перформансов.

Ключевые возможности: синтез «на лету», динамическая перестройка сигнальных графов, многоканальная обработка, интеграция с MIDI и OSC устройствами, плагины на C/C++. Экосистема включает редактор SCIDE, альтернативные серверы (например, Supernova с многопоточностью) и обширные библиотеки. Лицензия GPL делает проект свободно распространяемым.

207

Swift (свифт) — современный мультипарадигменный язык программирования от Apple, впервые выпущенный в 2014 году. Его создавали как безопасную, выразительную и производительную замену Objective C для разработки под экосистему Apple (iOS, macOS, watchOS, tvOS), но сегодня Swift применяют и на сервере, и в кроссплатформенных проектах (например, через SwiftUI и Swift Package Manager).

Ключевые особенности: строгая статическая типизация с выводом типов, опционалы для безопасной работы с отсутствующими значениями, управление памятью через ARC (автоматический подсчёт ссылок) без сборщика мусора, мощные обобщения и протоколы (аналог интерфейсов с расширенными возможностями), замыкания и функции высшего порядка. Swift сочетает императивный, функциональный и объектно ориентированный стили: классы, структуры и перечисления равноправны, а структуры по умолчанию иммутабельны и копируются по значению.

Важную роль играют средства безопасности: проверка границ массивов, защита от нулевых указателей, обязательное инициализирование переменных. Язык активно развивается: регулярно выходят новые версии с улучшениями синтаксиса (например, async/await, макросы) и инструментами интероперабельности с C и Objective C.

В индустрии Swift — основной язык для приложений в App Store, а также используется в серверной разработке (Vapor, Kitura) и образовании.

T

208

Tcl (Tool CommandLanguage) — скриптовый язык и командная оболочка, созданный Джоном Оустерхаутом в 1988 году. Его философия — быть простым встраиваемым языком для управления инструментами и расширения приложений: Tcl часто используют не как основной язык проекта, а как внутренний движок скриптов.

Основа Tcl — очень простая модель: всё есть строка, а команды — это слова, разделённые пробелами; даже управляющие конструкции (if, for) — обычные команды. Это делает синтаксис предельно лаконичным, но требует аккуратности при работе со спецсимволами и экранированием. Язык динамически типизирован, поддерживает процедуры, пространства имён, обработку событий и легковесные потоки (coroutines).

Ключевая связка — Tcl/Tk: библиотека Tk даёт кроссплатформенный GUI, и вместе они стали стандартом для быстрых прототипов интерфейсов и встроенных консолей. Tcl применяют в EDA (проектирование микросхем), тестировании, автоматизации, встраивании в крупные системы.

209

Tea — лёгкий встраиваемый язык программирования, созданный как упрощённая и более дружелюбная альтернатива JavaScript для сценариев внутри приложений. Его дизайн намеренно минималистичен: синтаксис близок к JS, но убран ряд сложных или неоднозначных частей языка, чтобы упростить встраивание и предсказуемость выполнения.

Основные черты: динамическая типизация, лексическое замыкание, простые структуры данных, модель «всё есть объект» в духе JS, но с меньшим количеством «подводных камней». Tea ориентирован на безопасность песочницы и простоту интеграции из C/C++: парсер и рантайм компактны, а модель ошибок и исключений сделана понятной для прикладных разработчиков.

Ниша Tea — встраиваемые скрипты в играх, инструментах, CAD системах, редакторах и любых приложениях, где нужен простой, быстрый и безопасный язык сценариев без тяжёлой инфраструктуры.

210

Terra — низкоуровневый компилируемый язык системного программирования, спроектированный как «партнёр» Lua: он встраивается в Lua и метапрограммируется из него. Создан Захари ДеВито и др.; базируется на LLVM, поэтому генерирует код, по производительности близкий к C (в бенчмарках — в пределах 5 % от Clang).

Terra статически типизирован, поддерживает ручное управление памятью и низкоуровневые возможности (SIMD, не-временные записи, работу с указателями), но при этом использует Lua как полноценный метаязык: вместо шаблонов C++ и макросов препроцессора здесь применяют обычные Lua скрипты, которые генерируют Terra код (многоступенчатое программирование). Это позволяет создавать DSL, автотюнинг и условную компиляцию с хорошей гигиеной и читаемостью.

Ниша Terra — высокопроизводительные расширения для Lua приложений, JIT компилируемые DSL, численные и графические движки, где нужна предсказуемая производительность и тонкая настройка.

211

Turing — учебно образовательный императивный язык программирования, разработанный в Университете Торонто в 1980 х годах (автор — Рик Холт) специально для преподавания основ программирования. Назван в честь Алана Тьюринга и задуман как «чистый» язык без лишних усложнений: он даёт ясную модель переменных, присваивания, структур управления и процедур, без перегруженных идиом, характерных для промышленных языков.

Синтаксис Turing близок к Pascal: строгие блоки begin/end, типизированные переменные, понятные конструкции циклов и условий. В нём есть встроенные средства для простой графики, звука и работы с консолью — это помогало студентам быстро получать наглядный результат. Язык активно использовали в канадских школах и вузах для обучения алгоритмике и структурному программированию вплоть до 2000 х годов.

Сегодня Turing — преимущественно исторический и учебный артефакт: его нишу заняли Python, Java и Pascal диалекты, но он остаётся примером языка, спроектированного с фокусом на понятность и методичность.

212

TypeScript — строго типизированный язык, надмножество JavaScript, разработанный Microsoft и выпущенный в 2012 году. Его цель — добавить надёжность и удобство поддержки в JS экосистему: TypeScript сохраняет полный синтаксис JavaScript, но дополняет его статической типизацией, интерфейсами, модификаторами доступа и другими конструкциями для структурирования кода.

Код TypeScript компилируется в обычный JavaScript (через tsc или сборщики вроде Babel/SWC), поэтому выполняется везде, где работает JS — в браузерах, Node.js, на сервере и в мобильных средах. Важные возможности: вывод типов, дженерики, перечисления (enum), пространства имён, декораторы и типы алиасы. TypeScript тесно интегрирован с IDE: автодополнение, рефакторинг и поиск ошибок работают на уровне типов ещё до запуска.

Язык широко используют во фронтенде (Angular «из коробки», React/Vue с типизацией) и бэкенде (NestJS, Express), в библиотеках и крупных проектах, где критичны предсказуемость и масштабируемость.

U

213

Unlambda — эзотерический функциональный язык программирования, созданный Дэвидом Мэдором для демонстрации «чистой» комбинаторной логики без лямбда абстракций. Он Тьюринг полный, но принципиально минималистичен: единственный тип данных — функции от одного аргумента, а вычисления строятся на аппликациях и комбинаторах.

Основа языка — комбинаторы s, k, i из SKI исчисления: например, k создаёт константу, s обобщает применение, а i — тождественную функцию. Вместо переменных и лямбда выражений используется исключение абстракций: любые вычисления выражаются через эти примитивы. Для взаимодействия с внешним миром добавлены операции ввода вывода (.x печатает символ x, @ читает ввод, v игнорирует аргумент), ленивые вычисления (d) и продолжения (c).

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

Важное уточнение: Unlambda — не вариант Lambda Calculus «для продакшена», а намеренно неудобный язык-демонстрация. Его используют в учебных примерах, головоломках и исследованиях выразительности комбинаторной логики.

214

Ur/Web — единый функциональный язык и фреймворк для веб разработки, созданный Адамом Члипалой в MIT. Его идея — убрать «многоязычность» веба: вместо связки HTML/CSS/JS/SQL и серверного языка всё пишется на одном строго типизированном языке Ur, а компилятор сам генерирует серверную логику, клиентский JS, HTML и SQL запросы.

Ключевые особенности: единая модель типов для клиента, сервера и БД; автоматическая генерация URL и форм; транзакции как примитив языка; защита от XSS и инъекций на уровне системы типов; реактивное обновление страниц без ручного управления состоянием. Вместо «ручного» роутинга и сериализации данных язык даёт абстракцию: функции становятся доступными по URL, а данные передаются с сохранением типов.

Ниша — надёжные веб приложения, где критична безопасность и предсказуемость (в т. ч. коммерческие проекты вроде BazQux Reader). Экосистема компактна: компилятор, стандартная библиотека, примеры.

V

215

Vala — язык программирования для создания нативных приложений под Linux, спроектированный как удобная альтернатива C при работе с GObject и GTK. Его синтаксис напоминает C# и Java, но при этом код транслируется в чистый C и компилируется в нативные бинарники: поэтому производительность близка к C, а писать проще.

Ключевые особенности: объектно ориентированная модель поверх GObject, автоматический подсчёт ссылок для управления памятью, вывод типов (var), лямбды, дженерики, async/await, null safety. Vala даёт прямой доступ к C библиотекам и GObject API без накладных расходов среды выполнения: нет виртуальной машины, сборщика мусора или тяжёлого рантайма.

Основная ниша — графические приложения для GNOME и elementary OS (например, Boxes, Gitg, Dino). Язык активно используют для GTK4 и libadwaita приложений; проекты удобно распространять через Flatpak.

216

VHDL (Very High Speed Integrated Circuits Hardware Description Language) — строго типизированный язык описания аппаратуры, созданный в рамках программы VHSIC при поддержке Министерства обороны США; первый стандарт IEEE 1076 выпущен в 1987 году. Его применяют для моделирования, верификации и синтеза цифровых схем — прежде всего в ПЛИС и ASIC.

Ключевая особенность VHDL — разделение параллельной и последовательной семантики: параллельные операторы (в т. ч. присваивания сигналов <=) отражают одновременную работу аппаратных блоков, а последовательные (присваивания переменных :=, условные операторы) работают внутри процессов. Базовое понятие — сигнал с учётом времени и задержек; также есть сущности (entity) и архитектуры (architecture), позволяющие описывать устройство как «чёрный ящик» и его реализацию разными способами (структурно, поведенчески, смешанно).

Ниша VHDL — проектирование надёжной цифровой электроники в аэрокосмической, военной и промышленной сферах, где важны строгая типизация, детерминизм и прослеживаемость требований.

217

Visual Basic — семейство императивных, событийно ориентированных языков от Microsoft, выросшее из BASIC и ставшее культовым инструментом быстрой разработки GUI приложений под Windows. Классический Visual Basic (VB6, 1998) прославился визуальным проектированием форм (drag and drop) и обработчиками событий: код писался вокруг действий пользователя (нажатий, входов в поля), что делало его идеальным для бизнес приложений и обучения.

С 2002 года развитие пошло по ветке VB.NET: язык вошёл в экосистему .NET, получил полноценную объектную модель, LINQ, асинхронность и строгую типизацию, но сохранил узнаваемый синтаксис и фокус на продуктивности разработчика. Параллельно живёт VBA(Visual Basic for Applications) — встраиваемый язык для автоматизации в Office: миллионы рабочих процессов в Excel держатся именно на нём.

Ключевые ниши сегодня: поддержка легаси систем на VB6, разработка на VB.NET под .NET Framework/.NET Core, макросы и автоматизация через VBA. Сильные стороны — простота освоения, тесная интеграция с Windows и Office, богатый инструментарий форм и данных.

218

Visual FoxPro (VFP)— объектно ориентированный язык и среда разработки семейства xBase от Microsoft, ориентированные на создание настольных приложений с тесной интеграцией баз данных. Вырос из FoxPro и dBase, унаследовав их синтаксис и модель работы с DBF файлами, но добавив визуальные формы, отчёты, объектную модель и расширенные средства доступа к данным.

Ключевая сила VFP — «всё в одном»: в единой IDE разработчик проектирует интерфейс, пишет логику и управляет данными, используя встроенные курсоры, транзакции, индексы и SQL запросы. Язык поддерживает как процедурный, так и объектно ориентированный стиль, обработку ошибок, COM компоненты и автоматизацию через OLE. Главная ниша — бизнес приложения для Windows под локальные или файловые БД, особенно в сегменте учёта, складской и бухгалтерской автоматизации.

Пик популярности пришёлся на 1990 е и начало 2000 х; последняя версия VFP 9 с пакетом обновлений SP2 вышла в 2007 году, официальная поддержка прекращена в 2015 м. Сегодня VFP сохраняется в легаси системах и поддерживается энтузиастами; его ценят за скорость разработки типовых учётных приложений и простоту работы с файловыми БД.

W

219

WebAssembly (Wasm) — бинарный формат байт кода для высокопроизводительного выполнения кода в вебе и не только, стандартизованный консорциумом W3C при участии Mozilla, Google, Microsoft и Apple. Это не язык для написания вручную, а целевая платформа: код на C/C++, Rust, Go, C#, Kotlin и др. компилируют в .wasm модуль, который браузер (или другая среда) быстро загружает и исполняет почти с нативной скоростью.

Архитектура WASM — песочница с линейной памятью и детерминированными инструкциями; он не заменяет JavaScript, а дополняет его: JS управляет DOM, событиями и API, а WASM берёт на себя тяжёлые вычисления, графику, аудио, симуляции. Формат поддерживает потоковую компиляцию и быструю верификацию, что улучшает время запуска.

Помимо браузеров, WASM применяют на сервере и в edge (Cloudflare Workers, Fastly), а через WASI — и вне веб среды. Ключевые ниши: игры и 3D в браузере, обработка медиа, CAD/CAM инструменты онлайн, библиотеки для численных расчётов.

220

Whitespace — эзотерический язык программирования, созданный Эдвином Брэди и Крисом Моррисом и выпущенный в 2003 году. Его главная особенность — в том, что исполняемыми символами служат только пробельные символы: пробел, табуляция и перевод строки; все остальные символы (буквы, цифры, знаки препинания) игнорируются и могут использоваться как комментарии.

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

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

X

221

XBase — не один язык, а семейство xBase совместимых языков и сред разработки, выросших из dBase и ставших стандартом де факто для настольных СУБД и бизнес приложений в 1980–1990 х годах. К ключевым представителям относят FoxPro (в т. ч. Visual FoxPro), Clipper, Harbour, Flagship: все они используют схожий синтаксис, ориентированный на работу с DBF файлами, курсорами, индексами и встроенными SQL конструкциями.

Главная сила XBase — «всё в одном» для бизнес автоматизации: визуальные формы, отчёты, логика и данные в единой среде; процедурная модель с элементами ООП, обработка ошибок, работа с файлами и печатью «из коробки». Важная черта — прямая работа с таблицами как с курсорами: навигация по записям, фильтрация и транзакции без отдельного слоя доступа к данным.

Пик популярности пришёлся на эпоху локальных файловых БД и однопользовательских/малых сетевых систем; сегодня XBase в основном живёт в легаси проектах и поддерживается энтузиастами (например, Harbour для кроссплатформенной компиляции). Ниша — поддержка старых учётных, складских и бухгалтерских систем, миграция и постепенная замена на современные стеки.

222

X++ — объектно ориентированный язык программирования, созданный специально для платформы Microsoft Dynamics AX (ныне Dynamics 365 Finance &Operations). Он сочетает черты C++ и Java: поддерживает классы, наследование, интерфейсы, перегрузку методов, обработку исключений и строгую типизацию, но при этом тесно интегрирован с предметной моделью ERP — встроенные типы данных напрямую соответствуют таблицам базы данных, а запросы к данным выражаются на уровне языка.

Ключевые особенности: LINQ подобные запросы к таблицам, транзакции как примитив языка (блоки ttsbegin/ttscommit), работа с метаданными и событиями форм, генерация отчётов и интеграция с внешними системами. X++ выполняется в среде .NET, компилируется в IL и может вызывать .NET библиотеки, что расширяет его возможности.

Основная ниша — кастомизация и разработка бизнес логики для Dynamics: проводки, расчёты, валидации, интеграции, сложные правила учёта и отчётности. Сегодня X++ остаётся актуальным для поддержки и расширения существующих внедрений Dynamics 365, хотя новые сценарии всё чаще реализуют на .NET и через расширения платформы.

223

XQuery — декларативный язык запросов для работы с XML данными, стандартизованный W3C; его разрабатывали как мощный инструмент выборки, трансформации и генерации XML (а позже и JSON). Синтаксис XQuery во многом опирается на XPath: выражения для навигации по дереву документа сочетаются с конструкциями для формирования новых узлов, циклов и условных ветвлений.

Ключевые возможности: выборка фрагментов XML по сложным критериям, преобразование структуры документа, агрегации и сортировка, работа с пространствами имён, интеграция с функциями и модулями. XQuery поддерживает FLWOR выражения (For Let Where Order by Return) — это основной строительный блок для описания логики выборки и трансформации. Язык может не только «читать» XML, но и генерировать новые документы, включая смешанный контент (текст + XML), что делает его удобным для отчётов и API ответов.

Ниша XQuery — системы, где доминирует XML: СУБД со встроенной поддержкой XML (например, BaseX, eXist db, MarkLogic), ETL процессы, валидация и нормализация данных, генерация отчётов.

224

XSLT (Extensible Stylesheet Language Transformations) — декларативный язык преобразований XML документов, стандартизованный W3C. Его главная задача — превращать один XML документ в другой (в том числе в HTML, текст или иной XML), применяя шаблоны к дереву документа. Основа XSLT — шаблонные правила: для узлов дерева задаются шаблоны с XPath условиями, а движок рекурсивно обходит дерево и применяет подходящие правила