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

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 условиями, а движок рекурсивно обходит дерево и применяет подходящие правила

Конец ознакомительного фрагмента.

Текст предоставлен ООО «Литрес».

Прочитайте эту книгу целиком, купив полную легальную версию на Литрес.

Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.