Лекция о прогрессе алголостроения в компиляторе GCC. Вкратце: скоро появится официальный компилятор ga68.

Алгол 68 был разработан Рабочей группой 2.1 Международной федерации по обработке информации (IFIP) в конце 1960-х – начале 1970-х годов под руководством Адриана ван Вейнгаардена. Целью рабочей группы было создание языка программирования, пригодного для передачи алгоритмов, их эффективного выполнения на различных компьютерах и облегчения обучения студентов. Ожидалось, что получившийся язык будет представлять собой усовершенствованную версию Алгола 60, в которой будут устранены известные недостатки и в целом улучшены. Однако то, что изначально задумывалось как улучшенная версия Алгола 60, оказалось чем-то совершенно иным: чрезвычайно мощным языком программирования, более современным и выразительным, чем большинство современных языков программирования, в дизайне которого практически до предела использовалось недавно изобретенное понятие ортогональности в языках программирования. Алгол 68 не похож на Алгол 60 – важный, но устаревший язык программирования, вытесненный практически во всех отношениях своими преемниками, и представляющий сегодня интерес лишь как исторический курьёз. Несмотря на утверждения многих, у Algol 68 нет преемников. Рабочая группа GNU Algol 68 — это группа хакеров, чья цель — вернуть Algol 68 на первое место в программирования, где ему и место, создать современные реализации языка, хорошо интегрированные в современные операционные системы и компьютеры (например, интерфейс GCC Algol 68), создать документацию, помогающую людям изучать этот увлекательный язык, а также исследовать возможности расширения и развивать язык с той строгостью, уважением и серьёзностью, которых он заслуживает и требует.

В январе 2025 года в gcc-patches была отправлена ​​первая серия патчей, реализующих интерфейс Algol 68 для GCC. С тех пор разработка идёт стабильно, и к настоящему времени большая часть языка реализована. В этом докладе мы расскажем о фронтенде и связанном с ним плане мирового господства, выделим и обсудим некоторые интересные аспекты реализации (Algol 68, как известно, очень сложен в реализации) и обоснуем включение фронтенда в основное дерево GCC.

Мы также кратко рассмотрим некоторые смежные проекты, такие как поддержка Algol 68 в autotools и режим Emacs a68.

Подробности на сайте: algol68-lang.org

Механические арифмометры активно использовались в Советском Союзе при расчётах ядерной бомбы в 40-50-x годах. На картинке реконструкция типичной вычислительной комнаты того времени в Арзамасе-16 или Курчатовском институте.

Хотя арифмометр Феликс (клон Однера советского производства) был распространен в таких институтах, как ФИАН, ВНИИЭФ (Арзамас-16) и НИИ-1011 (Челябинск-70), советская научная элита также использовала иностранные машины, захваченные или импортированные после войны, например:

Тип                     Происхождение   Особенности
------------------------------------------------------------------------------
Brunsviga 13Z           Германия        Вертушка, надежная для длинных делений
Mercedes-Euklid         Германия        Использовался физиками до Второй мировой войны
Facit TK                Швеция          Высокая точность, плавный ход кривошипа
Marchant Silent Speed   США             Автоматическое умножение/деление, используется там, где это возможно
Феликс-С / Феликс-М     СССР            Простая вертушка, повсеместная и ремонтопригодная

Захваченная немецкая оргтехника по секретным каналам поставок распределялась по ключевым исследовательским объектам, в том числе ядерным.

chatgpt.com/share/68ed6dc8-4084-8001-89a0-848648b6a048

Q: Почему вычислительная техника в СССР была под суровым надзором КГБ в 50-е и 60-е?

Это очень хороший и важный вопрос — и ответ здесь связан не столько с техникой, сколько с политическим контекстом эпохи. Вот основные причины, почему вычислительная техника и её разработчики в СССР в 1950-60-е годы находились под строгим надзором КГБ:

1. Стратегическое значение вычислительной техники

Компьютеры в 1950–1960-е годы рассматривались как военно-стратегическая технология, наравне с ядерным оружием и ракетной техникой. Они применялись в:

• расчётах для атомных и термоядерных бомб (в частности, в Институте Курчатова и Математическом институте АН СССР),
• баллистике и проектировании ракет (в ОКБ Королёва, Янгеля, Челомея),
• криптографии, радиолокации, навигации.

Поэтому всё, что касалось ЭВМ, было засекречено, а сотрудники проходили проверку и допуск по линии КГБ.

2. Контроль за утечкой технологий

Советское руководство боялось утечки научно-технических данных на Запад. ЭВМ считались высокотехнологичным и потенциально "шпионским" инструментом. Копирование западных идей (например, архитектуры IBM или Ferranti) велось тайно, и сам факт сравнений с западными образцами был политически чувствителен.

3. Идеологическая подозрительность к "кибернетике"

До середины 1950-х термин кибернетика считался в СССР "буржуазной лженаукой", "орудием империализма" и "методом подчинения человека машине". Только после 1955 года, с приходом более прагматичных руководителей (например, А. А. Ляпунова, С. А. Лебедева, В. М. Глушкова), началось постепенное признание кибернетики как научной дисциплины. Но КГБ ещё долго воспринимал людей, занимавшихся вычислительной техникой, как потенциальных диссидентов или "идеологически неблагонадёжных".

4. Закрытый характер научных учреждений

Большинство вычислительных центров и лабораторий (например, ИТМиВТ, ВЦ АН СССР, Институт кибернетики в Киеве) имели режимные статусы, аналогичные оборонным предприятиям. Доступ туда был ограничен, переписка и поездки за рубеж контролировались. Даже публикация статей могла быть согласована только после разрешения органов госбезопасности.

5. Недоверие к автоматизации управления

В 1960-е, когда Глушков предлагал проект ОГАС (Общегосударственная автоматизированная система управления экономикой), КГБ и часть партийных структур восприняли идею с подозрением:

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

Фактически, именно вмешательство политических и силовых ведомств похоронило проект ОГАС, который мог бы стать советским аналогом Интернета и ERP-систем.

Есть такой новомодный искусственно-интеллектуальный IDE, называется Cursor. Решил я его попробовать: загрузил в него проект симулятора dubna и для начала попросил две вещи.

1. Улучшить общую информацию о проекте: смотрите новый README.md.

2. Проанализировать на предмет проблем и улучшений: смотрите TODO.md.

Вроде полезная прилада выходит. Пул-реквесты умеет сам создавать и пропихивать. Только спрашивает разрешение на выполнение команд git и gh.

Помните книжку Этюды для программистов? Там в предпоследней главе было крышесносное задание: построить компилятор для паскалеподобного языка.

Easy Does It
                   or...
A COMPILER FOR AN
ALGEBRAIC LANGUAGE

A compiler is always a large program. To write one from scratch, even in a pedagogical environment, is a major undertaking. Although Easy is designed to reduce the pain while providing as much enlightenment as possible, this still is the hardest problem in the book. Do not tackle it unless you (and some helpful friends) have plenty of time and energy.

THE EASY LANGUAGE

Easy is a general-purpose, procedural, algebraic programming language. Its roots lie in ALGOL, ALGOL 68, and PASCAL. Like them, it is designed to be compiled, loaded, and executed on a reasonably conventional computer (the EC-1 described in Chapter 25 is a good example). The syntax is described by a context-free grammar suitable for parsing by LR(1) techniques. The semantics are similar to the languages described above, and we will let an informal description suffice, trusting to the reader’s skill to fill any gaps. In the text below, logically connected portions of the grammar are described with the associated semantics.

Так вот, один гениальный человек (begoon) такой компилятор зафигачил. Исходники проекта: github.com/begoon/easy

Пример кода на языке Easy, игра Жизнь: life.easy

Компилируем, запускаем:

git clone https://github.com/begoon/easy.git
cd easy
node easyc.ts life.easy
cc life.c -o life -I.
./life

Получаем:

** [ EASY LIFE ] ***************************************************************** 
*                                                      xx                        *
*                                                    xx  xx                      *
*                                          x         x  xxx                      *
*                                        xx              x   xxx                 *
*                                                     x x   x  xx                *
*                                             xx       x   x x  xx               *
*                                             xxx          x    x                *
*                                         x  xxx             xxx                 *
*                                         xxxxx    xx       xx                   *
*                                       xx   x    x  x                           *
*                                          x x     xx                            *
*                                      x   xx                                    *
*                                       xxx                                      *
*                                 x                                              *
*                               x xx         x                                   *
*                             xxx  xxx      x x                                  *
*                                    x     x  x                                  *
*                                 x  x      xx                                   *
*                                 x x                                            *
*                                                                                *
*                                                                                *
*                                                                                *
*                            xx                                                  *
*                            xx   xx                                             *
*                                 xx                                             *
********************************************************************************** 
GENERATION: 104

Герман Обухов, "Большая ложь маленького человечка: что скрывает Путин"

Официальные источники гласят: Владимир Владимирович Путин родился 7 октября 1952 года в Ленинграде в семье рабочих. Отец — Владимир Спиридонович Путин, родился в 1911 году в деревне Поминово Тверской губернии. Мать — Мария Ивановна Путина (урождённая Шеломова), родилась также в 1911 году в деревне Заречье Тверской губернии, где и познакомилась со своим будущим мужем.

Это чистокровный фейк. На самом деле Володя Путин родился в больнице небольшого городка Очёр, Пермского края. Его настоящая мать жила до недавнего времени в грузинском селе Метехи, её зовут Вера Николаевна Путина - Осепашвили. Она родилась в 1926 году в селе Терехино, рядом с маленьким городом Очёр. В техникуме Очёра она познакомилась с человеком, которого звали Платон Привалов. Позже, будучи беременной, она случайно узнала, что он женат и ей пришлось вернуться к своим родителям в Терехино. Вскоре родился наш Вова, шел 1950 год, а не 1952.

( дальше )

Какой нынче имеется простой способ писать документацию? Чтобы не заморачиваться, и чтобы сразу и HTML вариант и PDF вариант образовывались.

Есть такой метод! Показываю. Ключевые моменты: Pandoc и Tectonic.

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

# Задача

В школьной столовой Петя заметил, что количество котлет на тарелке уменьшается по формуле
$$
K(t) = K_0 - t,
$$
где $K_0$ — начальное число котлет, а $t$ — время в минутах, прошедшее с момента, как Петя сел за стол.

Если у Пети было 5 котлет, то через сколько минут Петя обратится к маме со словами:
*«Мам, а добавки можно?»*

# Таблица умножения

|   | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |
|---|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|
| 1 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |
| 2 | 2 | 4 | 6 | 8 | 10| 12| 14| 16| 18|
| 3 | 3 | 6 | 9 | 12| 15| 18| 21| 24| 27|
| 4 | 4 | 8 | 12| 16| 20| 24| 28| 32| 36|
| 5 | 5 | 10| 15| 20| 25| 30| 35| 40| 45|
| 6 | 6 | 12| 18| 24| 30| 36| 42| 48| 54|
| 7 | 7 | 14| 21| 28| 35| 42| 49| 56| 63|
| 8 | 8 | 16| 24| 32| 40| 48| 56| 64| 72|
| 9 | 9 | 18| 27| 36| 45| 54| 63| 72| 81|

![](kozak.svg){width=100}

Преобразуем это дело в HTML:

pandoc example.md -o example.html --standalone --mathjax

Получаем:


Аналогичным образом соорудим PDF:

pandoc example.md -o example.pdf --pdf-engine=tectonic --template=template.tex

Сравниваем:


Стиль PDF-документа можно задавать, меняя template.tex. Для HTML тоже есть аналогичный флаг --css=style.css.

Как нарисовать дерево Штерна—Броко? Задействуем TeX для прикола. Вот такой малопонятный код мне Грок насоветовал.

\documentclass{standalone}
\usepackage{forest}

\begin{document}
\begin{forest}
  Stern Brocot/.style n args={5}{%
    content=$\frac{\number\numexpr#1+#3\relax}{\number\numexpr#2+#4\relax}$,
    if={#5>0}{% true
      append={[,Stern Brocot={#1}{#2}{#1+#3}{#2+#4}{#5-1}]},
      append={[,Stern Brocot={#1+#3}{#2+#4}{#3}{#4}{#5-1}]}
    }{}}% false (empty)
[,Stern Brocot={0}{1}{1}{0}{5}]
\end{forest}
\end{document}

Давно не брал я в руки шашки ТеХ. Когда-то по молодости много ним занимался, и всегда с ТеХом было сложно. Но давеча появился новый инструмент: Tectonic. Народ упёрся и наваял (на Rust!) поверх старого доброго кнутовского ТеХа удобную обёртку. Ставится командой brew install tectonic на маке, или sudo snap install tectonic в Линуксе. Превращаем .tex в .pdf:

tectonic tree.tex

Полученный файл PDF можно для удобства превратить в векторный рисунок SVG. Его можно смотреть любым браузером или вставлять в документы:

pdftocairo -svg tree.pdf tree1.svg
svgcleaner tree1.svg tree2.svg

Здесь pdftocairo создаёт SVG, а svgcleaner его оптимизирует, уменьшая размер. Вот такое пятиуровневое дерево получается:



Если в теховском исходнике в третьей строчке с конца заменить {5} на {8}, получим восемь уровней. Кликайте на картинку, зумьте и проворачивайте вправо-влево: