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

Для чего нужен.Assembly применяют там, где критичен полный контроль над железом и максимальная производительность. На нём пишут драйверы устройств, ядра операционных систем, загрузчики, прошивки микроконтроллеров. Он незаменим в embedded разработке, где памяти и вычислительных ресурсов очень мало. Ещё ассемблер используют в безопасности и reverse engineering: чтобы анализировать вредоносы, искать уязвимости или понимать, что на самом деле делает скомпилированная программа. В обычной прикладной разработке его почти не используют как основной язык, но часто применяют точечно — в виде ассемблерных вставок для критических по скорости участков кода.

Сильные стороны.Главная сила Assembly — абсолютный контроль: ты точно знаешь, какие инструкции и в каком порядке выполнит процессор, сколько тактов займёт операция и как используется память. Отсюда вытекает высокая эффективность: можно выжать максимум из железа и жёстко уложиться в лимиты по памяти. Ещё один плюс — прямой доступ к аппаратным возможностям: регистрам, флагам, портам ввода вывода, специальным инструкциям процессора (вроде SIMD для параллельных вычислений). Наконец, ассемблер — лучший инструмент для понимания того, как на самом деле работает компьютер.

Слабые стороны.Главный минус — крайне низкая переносимость: код для одной архитектуры нельзя просто взять и запустить на другой. Разработка на Assembly очень трудоёмка: даже простая логика требует десятков строк низкоуровневых команд. Код сложно читать и поддерживать, а ошибки (например, выход за границы массива или неверный адрес) приводят к непредсказуемому поведению программы. Отладка тоже непростая: приходится смотреть на значения регистров и дампы памяти. Из за этого Assembly почти не используют для больших проектов — его применяют точечно, там, где без него действительно не обойтись.

П.с. — Assembly Languageиногда неформально сокращают до AWL в узких сообществах (но это не общепринято — стандартное сокращение ASM).

36

ATS (Applied Type System): язык, где код — это доказательство

Что это такое.ATS (Applied Type System) — мультипарадигменный язык программирования, сочетающий функциональную и императивную стилистики с мощной системой типов. Его разработал Хунвэй Си; название отражает суть — типы в ATS не просто проверяют корректность, а служат инструментом формальной верификации: с их помощью можно доказывать свойства программы прямо в коде. Язык поддерживает зависимые типы (когда тип зависит от значения, например, «массив длины N»), линейные типы (для контроля владения ресурсами) и встроенные средства для написания доказательств. Компилятор ATS транслирует код в C, поэтому итоговая производительность сопоставима с C/C++.

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

Сильные стороны.Главная сила ATS — в сочетании безопасности и производительности: язык позволяет писать низкоуровневый код с ручным управлением памятью и указателями, но при этом гарантировать его корректность через систему типов и доказательства. Линейные типы помогают безопасно работать с ресурсами и избегать гонок данных. Зависимые типы позволяют кодировать в типах инварианты (например, «индекс находится в пределах массива»), исключая целый класс ошибок на этапе компиляции. Поскольку ATS компилируется в C, он легко интегрируется с существующим C-кодом и даёт предсказуемую производительность без накладных расходов сборщика мусора.

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

37

Autocode: первый шаг от машинного кода к удобному программированию.Autocode — одно из первых семейств языков программирования высокого уровня, появившееся в 1950 х годах. Его создавали как «обертку» над машинным кодом: вместо нулей и единиц программист писал понятные человеку команды, а компилятор превращал их в инструкции для конкретной ЭВМ. Самый известный вариант — Autocode Гленни (для Manchester Mark 1, 1952 год): его считают одним из первых в истории скомпилированных языков. Были и другие диалекты — для компьютеров Ferranti Mercury, EDSAC 2, Atlas; они отличались, потому что жёстко привязывались к архитектуре машины.

Что это Autocode — одно из первых семейств языков программирования высокого уровня, появившееся в 1950 х годах. Его создавали как «обертку» над машинным кодом: вместо нулей и единиц программист писал понятные человеку команды, а компилятор превращал их в инструкции для конкретной ЭВМ. Самый известный вариант — Autocode Гленни (для Manchester Mark 1, 1952 год): его считают одним из первых в истории скомпилированных языков. Были и другие диалекты — для компьютеров Ferranti Mercury, EDSAC 2, Atlas; они отличались, потому что жёстко привязывались к архитектуре машины.

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

Сильные стороны.Главная ценность Autocode — в том, что он сделал программирование доступнее, не жертвуя производительностью: код оставался почти таким же эффективным, как машинный, но читался и писался намного легче. Он ввёл базовые конструкции, привычные сегодня: переменные, арифметические выражения, условные переходы и подпрограммы. Ещё одна сильная сторона — тесная интеграция с железом: разработчик мог точно понимать, во что превратится каждая строка, и тонко настраивать программу под возможности машины. Наконец, Autocode сыграл роль «моста»: он помог перейти от ручного кодирования в регистрах к идее языков, которые можно компилировать и оптимизировать автоматически.

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

38

AutoHotkey — бесплатный скриптовый язык и среда автоматизации для Windows. Его главная идея проста: превратить рутину в пару нажатий. Скрипт — это обычный текстовый файл с расширением .ahk, в котором описывают горячие клавиши, автозамены и системные действия. Например, комбинация ^#r::Run notepad запускает «Блокнот» по Ctrl+Win+R. Есть две основные ветки: AutoHotkey v1 (привычный многим, с большим количеством готовых скриптов) и AutoHotkey v2 (более строгий синтаксис, лучшая поддержка Unicode). Работает напрямую с API Windows, поэтому умеет то, что недоступно обычным программам: эмулировать нажатия клавиш, двигать курсор, перехватывать ввод, менять заголовки окон.

Для чего нужен.Чаще всего AutoHotkey используют, чтобы «подогнать» Windows под себя: переназначить клавиши, создать удобные хоткеи для запуска программ и вставки шаблонов, автоматизировать заполнение форм. Он незаменим для повторяющихся задач: копирования данных между окнами, пакетной работы с файлами, управления окнами (сворачивание, перемещение, изменение размера). Ещё его любят тестировщики и power пользователи: можно быстро собрать мини утилиту с GUI, вывести всплывающие уведомления, работать с буфером обмена и реестром. В ряде случаев AutoHotkey становится «клеем», который связывает разные программы в единый рабочий поток без сложной разработки.

Сильные стороны.Во первых, низкий порог входа: чтобы сделать полезный скрипт, достаточно базовых знаний. Во вторых, огромная гибкость: от простой автозамены до управления окнами и работы с COM объектами. В третьих, лёгкость и автономность: скрипт можно запустить без установки, а при необходимости — скомпилировать в .exe и носить на флешке. Ещё один плюс — богатая экосистема готовых решений: на форумах и GitHub тысячи скриптов под любые задачи. И наконец, прямой доступ к возможностям Windows: AutoHotkey умеет делать то, что не получится через настройки системы.

Слабые стороны.Главная проблема — хрупкость: скрипты, завязанные на координаты окон или названия элементов интерфейса, ломаются при обновлении программ. Отладка бывает непростой: ошибки часто проявляются как «ничего не происходит» или странное поведение ввода. Безопасность — отдельный вопрос: скомпилированные скрипты нередко вызывают ложные срабатывания антивирусов, а сам инструмент легко использовать для кейлоггеров и вредоносных макросов. Кроме того, AutoHotkey работает только в Windows, а код со временем может стать трудночитаемым, если не следить за структурой. Из за этого он остаётся инструментом для точечной автоматизации, а не для больших проектов.

39

AutoIt(1999) — скриптовый язык для автоматизации задач в среде Microsoft Windows, синтаксически близкий к BASIC. Его ключевая особенность — встроенные средства для управления окнами, элементами интерфейса и эмуляции действий пользователя (нажатия клавиш, клики мыши), а также прямой доступ к функциям Windows API и COM объектам. AutoIt позволяет быстро создавать скрипты для рутинных операций, тестирования десктопных приложений и сборки небольших утилит; при этом скрипт можно скомпилировать в автономный EXE файл. Язык поддерживает работу с GUI, регулярные выражения, файловую систему и сетевые операции, а для анализа окон предоставляет вспомогательный инструмент Au3Info. AutoIt не предназначен для кроссплатформенной или высоконагруженной разработки, но остаётся эффективным решением для автоматизации в Windows, особенно когда нужно взаимодействовать с нативными окнами и элементами интерфейса, недоступными для веб инструментов.

40

AutoCAD— система автоматизированного проектирования (САПР) для 2D и 3D проектирования, ставшая отраслевым стандартом в инженерии и архитектуре. Не является языком программирования, но служит платформой для автоматизации: поддерживает AutoLISP, .NET, ObjectARX и VBA, что позволяет создавать пользовательские команды, отраслевые надстройки и инструменты для пакетной обработки чертежей. Формат DWG, используемый в AutoCAD, стал де факто стандартом обмена данными в строительной и машиностроительной документации.

41

AutoCAD LT— облегчённая версия САПР AutoCAD для 2D черчения. В отличие от полного AutoCAD, не поддерживает языки программирования и расширения (в том числе AutoLISP, .NET, VBA), поэтому автоматизация в ней ограничена встроенными средствами. Используется для оформления чертежей, выпуска документации и работы с DWG файлами без необходимости 3D моделирования или кастомизации через код. Файлы AutoCAD LT полностью совместимы с полной версией AutoCAD.

42

AutoLISP— диалект LISP для автоматизации и расширения AutoCAD, появившийся в начале 1980 х. Язык тесно интегрирован с САПР: он позволяет создавать пользовательские команды, программно управлять объектами чертежа и автоматизировать типовые задачи проектирования. Благодаря тому, что графические примитивы в AutoCAD представлены в виде списков, AutoLISP идеально подходит для их анализа, модификации и генерации. В арсенале языка — функции для работы со слоями, блоками, координатами и системными переменными, а также возможность вызывать любые встроенные команды AutoCAD. AutoLISP широко применяется для параметрического черчения, пакетной обработки чертежей, создания отраслевых надстроек и обучения автоматизации в САПР. Несмотря на развитие более современных API (.NET, ObjectARX), AutoLISP остаётся популярным из за простоты, огромного количества готовых решений и доступности для инженеров без глубокого опыта программирования.

43

AWK(1977) — язык и утилита для обработки и анализа текстовых данных, разработанная Ахо, Керниганом и Вайнбергером. AWK ориентирован на построчную обработку структурированного текста: он автоматически разбивает строки на поля, позволяет фильтровать по регулярным выражениям и выполнять действия над совпадающими строками. Ключевые возможности — модель «образец действие», блоки BEGIN/END, ассоциативные массивы, встроенные переменные для контроля формата и нумерации строк. AWK широко применяется для анализа логов, отчётов, CSV файлов и быстрой агрегации данных в Unix системах, а также как компонент shell скриптов и CI/CD пайплайнов. Его сила — в лаконичных программах для типовых задач: часто достаточно одной строки кода. Хотя AWK не предназначен для крупных приложений, он остаётся незаменимым инструментом системного администрирования и обработки данных благодаря простоте, скорости и интеграции с классической Unix экосистемой.

44

AWL(Another Web Language) — экспериментальный мультипарадигменный язык, объединяющий процедурный, функциональный и объектно ориентированный подходы. Его главная идея — свести «операции», «функции» и «инструкции» к единому понятию функционального оператора (функтора), что делает язык гомоиконным и близким к LISP. AWL поддерживает ленивые вычисления с явным управлением (операторы @ и ^), списки как основную структуру данных, неявные преобразования между числами и строками, а также средства для создания графических и веб компонентов. Язык интерпретируемый, не требует компиляции и ориентирован на быструю разработку прототипов и демонстрацию языковых концепций. Несмотря на интересную архитектуру, AWL остаётся нишевым проектом без широкого промышленного применения и служит в первую очередь примером альтернативного подхода к проектированию языков для прикладных и веб задач.

45

AWL как язык автоматизации Siemens (в контексте PLC)

В промышленной автоматизации AWL— это немецкое сокращение для Adresswörterliste, то есть список команд (аналог STL — Statement List) в среде Siemens TIA Portal. Это низкоуровневый текстовый язык для программирования ПЛК (программируемых логических контроллеров), близкий к ассемблеру: каждая строка — конкретная операция (загрузка, сравнение, переход, логические операции).

Для чего нужен.Чтобы писать компактные и точные программы для ПЛК, когда лестничная диаграмма (LAD) становится неудобной, либо для тонкой настройки и отладки логики управления станками, конвейерами, системами вентиляции и т. п.

Сильные стороны.Полный контроль над логикой и порядком выполнения, компактный код, хорошая читаемость для опытных инженеров АСУ ТП, прямой доступ к битам, словам и адресам памяти.

Слабые стороны.Высокий порог входа: новичку сложно разобраться в адресах, типах данных и порядке операций. Код легко сделать хрупким при неаккуратном обращении с флагами и переходами. Меньше визуальной наглядности по сравнению с LAD/FBD, сложнее ревью и совместная работа.

B

46

B(Би) — язык программирования это процедурный язык, который появился в 1969г. в Bell Labs. Его основные создатели — Кен Томпсон и Деннис Ритчи.

B разрабатывали как упрощённую версию языка BCPL, чтобы было удобнее писать системное ПО - в первую очередь для операционной системы UNIX. В те годы UNIX изначально писали на ассемблере, а это сильно усложняло доработку и перенос системы на другие машины. B стал промежуточным шагом: он давал более высокий уровень абстракции, но при этом оставался достаточно близким к железу.

Самое главное: B - прямой предшественник языка C. Из-за ограничений B (например, отсутствия типизации) Томпсон и Ритчи стали развивать его дальше и в итоге получился C.

Бестиповость. В "B" был фактически один тип данных - «слово» памяти. В зависимости от контекста оно трактовалось как целое число, адрес или даже символ.

Простота и лаконичность. Язык намеренно сделали минималистичным, убрав «лишние» конструкции, которые казались громоздкими в BCPL.

Поддержка рекурсии. Это было важно для системного программирования и написания компиляторов.

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

B не используют в современной разработке, но он важен как «мост» между BCPL и C, а значит — как часть фундамента всей современной системной разработки.

47

B# — как что-то другое:

Отдельного широко известного языка программирования под названием B# нет,в основных каталогах (вроде TIOBE, IEEE, документации крупных вендоров). Возможны такие ситуации:

Шуточное или учебное название.Иногда в примерах, туториалах или на лекциях придумывают «B#», чтобы показать, как мог бы выглядеть «следующий шаг» после B и C#.

Внутренний или экспериментальный проект.Бывает, что небольшие команды или исследователи дают своим прототипам имена вроде B# — но это не массовый язык.

Путаница с C#.Из за схожести написания B# могут путать с C# (C Sharp) — это уже реальный, очень популярный язык от Microsoft.

Название библиотеки, инструмента или плагина.Иногда «B#» встречается как имя пакета, расширения или скриптового движка в какой то узкой экосистеме.

48

Backus–Naur Form (BNF)— формальная нотация для описания синтаксиса языков программирования. Разработана Дж. Бэкусом и П. Науром, впервые широко применена для ALGOL 60. BNF задаёт грамматику через правила замены нетерминалов терминалами, обеспечивая однозначность описания. Используется в спецификациях языков и для автоматического построения парсеров. На базе BNF созданы расширения (EBNF), добавляющие удобные конструкции для повторений и необязательных элементов.

49

BASIC— язык программирования для начинающих, созданный в 1964 году Дж. Кемени и Т. Курцем. Его цель —каксделать программирование доступным: простые команды, интерактивный режим, понятная логика. Стал первым языком для миллионов пользователей домашних компьютеров. Породил множество диалектов (GW-BASIC, Visual Basic). Важен как инструмент популяризации программирования и как часть истории вычислительной техники.

50

BCPL (Basic Combined Programming Language, 1966) — процедурный бестиповый язык, разработанный Мартином Ричардсом как упрощённая версия CPL. Отличался минималистичным синтаксисом и высокой портируемостью, активно использовался для написания компиляторов и системного ПО. Является прямым предшественником языка B, который затем эволюционировал в C. Исторически важен как звено эволюции системных языков: он объединил низкоуровневый контроль с относительной простотой реализации.

51

BETA — объектно ориентированный язык (первая версия — 1983), разработанный в Дании как развитие идей Simula. Главная особенность — единая концепция шаблонов: классы, процедуры, исключения и сопрограммы — это разные виды одного шаблона. Синтаксис отличается присваиванием через стрелку (->) и явными конструкциями enter/exit для параметров. Язык поддерживает активные объекты и квазипараллельное выполнение, что удобно для моделирования сложных систем. Композиция реализована через части объекты, что даёт гибкий и понятный способ сборки сложных структур без проблем множественного наследования. BETA не получил массового распространения, но остаётся важным концептуальным языком: он показал, как можно сделать систему абстракций максимально единообразной и выразительной.

52

Bigloo (1998) — компилятор для языка Scheme, разработанный Мануэлем Серой в INRIA. Его главная цель — сочетать выразительность функционального программирования Scheme с высокой производительностью нативного кода. Bigloo транслирует Scheme программы в C, а также поддерживает генерацию кода для JVM, .NET и JavaScript, обеспечивая кроссплатформенность. Важная особенность — тесная интеграция с C: можно напрямую использовать C библиотеки и системные вызовы. В составе среды есть готовые модули для GUI (например, GTK) и работы с операционной системой. Bigloo сохраняет все ключевые возможности Scheme — макросы, замыкания, хвостовую рекурсию — и эффективно их компилирует. Язык и инструмент применяются в научных расчётах, встраиваемых модулях и образовательных проектах, где важны и скорость, и гибкость функционального подхода.

53

BLISS(Basic Language for Implementation of System Software, 1970) — системный язык программирования, разработанный У. Вульфом в Университете Карнеги Меллон для написания компиляторов и операционных систем. Язык ориентирован на эффективную генерацию кода и близкий контроль над аппаратурой: он бестиповый, основан на выражениях, поддерживает макросы, отдельную компиляцию модулей и обработку исключений. Компилятор BLISS славился агрессивными оптимизациями и стал образцом для учебников по разработке компиляторов. Наибольшее распространение язык получил в экосистеме DEC: на BLISS 32 была реализована значительная часть ОС VMS для VAX, а также системные утилиты и драйверы. Хотя сегодня BLISS практически не используется, он остаётся важной вехой в истории системного программирования и компиляторных технологий, демонстрируя, как можно сочетать низкоуровневый контроль с высокоуровневой структурой кода.

54

Boo(2003) — объектно ориентированный статически типизированный язык для платформы .NET, созданный Родриго Баррето де Оливейрой. Его главная идея — совместить Python подобный, лаконичный синтаксис (на основе отступов) с производительностью и экосистемой .NET. Boo поддерживает вывод типов, опциональную утиную типизацию, макросы и глубокую расширяемость компилятора, что делало его удобным для создания предметно ориентированных языков (DSL) и метапрограммирования. Язык полностью совместим с .NET: можно использовать C# библиотеки и любые .NET API. Наиболее известен как один из скриптовых языков движка Unity до версии 5. Хотя сегодня Boo не развивается и редко применяется, он остаётся показательным примером попытки объединить простоту скриптовых языков с мощью статической типизации и расширяемости, а также важным этапом в эволюции .NET экосистемы для скриптинга и прототипирования.

55

Brainfuck(1993) — эзотерический язык программирования Урбана Мюллера, известный своим экстремальным минимализмом: всего 8 односимвольных команд. Несмотря на кажущуюся примитивность, язык тьюринг полный и способен реализовать любой вычислимый алгоритм. Модель памяти проста: одномерный массив ячеек и указатель, который перемещается и изменяет значения; управление потоком строится на парах [ и ]. На практике Brainfuck не используют для разработки, но он ценен как тренажёр алгоритмического мышления и пример того, как мало нужно для полной вычислительной мощности. Язык популярен в сообществе esolang, служит учебным примером для написания интерпретаторов и породил множество вариаций. Brainfuck наглядно демонстрирует связь между простейшими операциями и общей вычислимостью, оставаясь культовым примером «искусства невозможного» в дизайне языков.