История языка
Что появилось в каждой версии — от 0.7.32 и назад до 0.4.0.
Выпуск языка — это тег в репозитории и готовые сборки к нему. Под каждой версией — её заголовок из заметок о выпуске и число коммитов, которые в неё вошли. Полные заметки и список коммитов открываются по ссылкам на GitHub.
- Последняя версия: 0.7.32 · 2 ноября 2026
- Пакеты ставятся командой flang install; сервер по умолчанию слушает только 127.0.0.1; верное постусловие «для всех … таких что» снова проходит. Как поставить — на странице языка.
- Выпусков: 47 · коммитов: 7822
- Данные приезжают из репозитория языка (
changelog.jsonиdocs/release-notes.json) — https://github.com/digitable-lol/flang.
-
0.7.32 коммитов: 76
Пакеты ставятся командой flang install; сервер по умолчанию слушает только 127.0.0.1; верное постусловие «для всех … таких что» снова проходит
-
0.7.31 коммитов: 82
Ядро доказывает записи по полям и остаток в кольце; слова u8…u64 и битовые операции; контрпример постусловия на краях типов
-
0.7.30 коммитов: 76
Проверка рассуждений называет логическую ошибку; песочница переводит в десять языков и из C; сверщик доказательств в каждой установке
-
0.7.29 коммитов: 229
Готовые сборки для Linux и macOS и установка одной командой; законы моноида, функтора и естественного преобразования доказываются для всех значений
-
0.7.28 коммитов: 29
Примеры внутри законов проверяются, ошибки в устройстве категории находит
check -
0.7.27 коммитов: 213
Доказываются алгебраические тождества и завершение рекурсии по мере, формулы пишутся в LaTeX, HTTPS работает без curl
-
0.7.26 коммитов: 212
TLS 1.3 на самом языке, случайные байты из системы, цена функции до запуска, кеш доказательств между прогонами и вторая проверка доказательств на Lean 4
-
0.7.25 коммитов: 165
Точные целые и точные дроби, пределы дочернего процесса задаёт сама программа, страница реестра пакетов
-
0.7.24 коммитов: 347
Линтер
flang lint, повторные вызовы в доказательстве считаются один раз, исправлены три ошибки, из-за которых принимались неверные доказательства -
0.7.23 коммитов: 90
Поле записи проверяется по своему типу, у прогона есть предел памяти
--memory-limit -
0.7.22 коммитов: 101
Вывод из посылок словом
следуети верные коды символов за пределами базовой плоскости Юникода -
0.7.21 коммитов: 66
Недоказанный код больше не запускается по умолчанию
-
0.7.20 коммитов: 377
Все 650 доказательств в исходниках компилятора перепроверены независимой программой
-
0.7.19 коммитов: 24
Утверждения «для всех элементов», индукция по своим типам и отдельные теоремы работают в установленном компиляторе
-
0.7.18 коммитов: 73
Независимая проверка повторяет 629 доказательств из 651, учебник в терминале — двенадцать уроков
-
0.7.17 коммитов: 254
Все доказательства компилятора впервые проходят его собственную проверку; учебник
flangtutorвходит в установку -
0.7.16 коммитов: 26
Независимая проверка повторяет вывод фактов о типах; учебник
flangtutor, Ctrl+L в оболочке, снова работаетflang package -
0.7.15 коммитов: 193
Независимая проверка только перепроверяет доказательства и больше не доказывает сама; файл настроек
.flangrc, вывод кода на TypeScript -
0.7.14 коммитов: 28
Независимая проверка сама перепроверяет доказательства завершения
-
0.7.13 коммитов: 92
Доказательство сохраняется готовым выводом, и проверка перепроверяет его, а не считает заново; встроенный SHA-256
хеш256 -
0.7.12 коммитов: 61
Установка содержит среды исполнения для всех девяти целей кодогенерации, а не для одной
-
0.7.11 коммитов: 166
Проверки репозитория перед отправкой ветки; архив этого выпуска не опубликован
-
0.7.10 коммитов: 2
Исправление: оболочка
flangпадала на каждой введённой строке -
0.7.9 коммитов: 1
Не опубликован: сборка остановлена проверкой выпуска, то же вышло в 0.7.10
-
0.7.8 коммитов: 1
Не опубликован: сборка остановлена проверкой выпуска
-
0.7.7 коммитов: 1
Не опубликован: сборка остановлена проверкой выпуска
-
0.7.6 коммитов: 1
Не опубликован: сборка остановлена проверкой выпуска
-
0.7.5 коммитов: 3
Не опубликован: сборка остановлена проверкой выпуска
-
0.7.4 коммитов: 150
Не опубликован: сборка остановлена проверкой выпуска, то же вышло в 0.7.5
-
0.7.3 коммитов: 2
flang --versionснова называет верную версию -
0.7.2 коммитов: 2
Не опубликован: исправление версии, вышло в 0.7.3
-
0.7.1 коммитов: 7
Не опубликован: исправление версии, вышло в 0.7.3
-
0.7.0 коммитов: 1709
Компилятор собран заново из исходников на flang; вывод кода на C++, регулярные выражения, драйверы sqlite и Redis, TLS 1.3 и реестр пакетов
-
0.6.2 коммитов: 13
Установка через Homebrew починена: архив приезжал с каталогом, в который нельзя войти
-
0.6.1 коммитов: 50
Проверка столкновений имён видит все ввозимые модули; чтение файла не обрезает двоичное содержимое
-
0.6.0 коммитов: 1027
Долгие вычисления больше не упираются в память: 15,98 ГиБ стали 0,0135 ГиБ
-
0.5.1 коммитов: 708
Установка на macOS починена: 0.5.0 не собирался там ни у кого
-
0.5.0 коммитов: 918
Компилятор считает себя сам, а напечатанный код стал быстрее и экономнее
-
0.4.8 коммитов: 111
Вложение и пересечение: у множеств появились слова
-
0.4.7 коммитов: 10
Монада, отказ значением, полиморфизм
-
0.4.6 коммитов: 26
Бинарник разговаривает с человеком: check, оболочка, справка, man
-
0.4.5 коммитов: 20
Оболочка в установленном бинарнике, ввод-вывод и процессы на BEAM
-
0.4.4 коммитов: 12
Языковой сервер, функтор с законами, конкурентность
-
0.4.3 коммитов: 9
Подсветка для Vim едет в пакете
-
0.4.2 коммитов: 12
Целей печати стало восемь, а компилятор ставится без Node
-
0.4.1 коммитов: 1
Команды пакета отвечают после установки
-
0.4.0 коммитов: 46
Первая публикация