Тема: flang

Статья

Компилятор, написанный на самом себе

Две переписки на самом языке: ядро исполняемых спецификаций — целиком тотальное, побайтово сверенное с эталоном; и компилятор самого flang, у которого сошлась неподвижная …

#flang#самоприменение#самохостинг

Статья

Кодогенерация: печать в восемь языков

Восемь бэкендов — C, Go, Rust, Python, Java, C#, Elixir, JavaScript, — общее требование совпадения с интерпретатором и практические прогоны. Плюс две новости суток: …

#flang#кодогенерация#компиляторы

Статья

Интерпретатор: явный стек, лимиты, хвостовые вызовы

Почему вычислитель flang устроен как цикл над явным стеком кадров, а не как рекурсия по стеку JS, как это даёт предсказуемую диагностику вместо RangeError и что …

#flang#интерпретаторы#вычислительные модели

Статья

Стандартная библиотека и связывание модулей

Пять модулей stdlib, что в них есть и почему они устроены именно так; импорт как слияние объявлений, а не пространство имён. И главный сюжет суток: настоящая библиотека …

#flang#стандартная библиотека#модули

Статья

Тотальность: как доказывается завершение

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

#flang#тотальность#завершаемость

Статья

Система типов и то, чего в ней нет

Двунаправленная проверка вместо Хиндли — Милнера, исчерпывающность разбора — и главное решение языка, которое за сутки развернулось в обратную сторону: функции стали …

#flang#система типов#вывод типов

Статья

Синтаксис по факту: модули, функции, выражения, образцы

Разбор конструкций языка по файлам репозитория и по программам, которые мы прогнали через check и test: теоркат — функтор, моноид, изоморфизм, бифунктор; функции как …

#flang#синтаксис#сопоставление с образцом

Статья

Инструмент: команды flang и контракт вывода

Восемь команд CLI, JSON-контракт вывода, что запускается без сборки, а что требует собранного ядра FTS — и почему обещанной в спецификации команды fmt на самом деле нет.

#flang#cli#инструменты

Статья

Digit в Workbench: каталог утилит и гейт спецификаций

Два MCP-сервера Digit — детерминированный каталог утилит и верификационный гейт над FTS — как интеграции Digitable Workbench: что уже работает и что для этого ещё нужно …

#workbench#digit#mcp

Статья

Два класса программ: тотальная и обычная

Главное архитектурное решение flang: вместо выбора между полнотой по Тьюрингу и гарантией завершения язык делит программы на два класса, и класс проверяет компилятор, а …

#flang#тотальность#теория вычислимости

Статья

Старые модели: что компилятор делает с прежней поверхностью

У языка была ранняя поверхность — «категория», «объект», «утилита», «правило», «свойство». Компилятор её слова до сих пор читает, но программой такой файл не считает. …

#flang#совместимость#языки программирования

Статья

Как устроена проверяемость Digit

Три источника содержания вместо генерации, два режима с запретом тихой деградации и отказ, который принимает код, а не модель

#digit#ии-агенты#верификация