Статья
Как читать репозиторий и как участвовать
Маршрут чтения по каталогу flang, запуск тестов без сборки, что говорят AGENTS.md и CONTRIBUTING.md — и чего они не говорят, потому что написаны про FTS, а не про flang.
База знаний
Тема: flang
13 материалов в этой теме.
Материалы
12 на странице
Статья
Чего в языке пока нет: проверенный список
Репозиторий ведёт собственный список недостающего, но часть пунктов уже устарела. Перепроверяем каждый запуском: что действительно отсутствует, что успели починить и чего …
Статья
Ядро FTS, переписанное на flang
Самая амбициозная часть репозитория: лексер, парсер, вычислитель и печать JSON для FTS, написанные на самом flang — 300 функций, все тотальные, 56 моделей из 56 …
Статья
Кодогенерация: печать в C, Go, JavaScript, Rust и Python
Пять бэкендов, общее требование совпадения с интерпретатором и практические прогоны: одна программа напечатана в C, Rust и Python, собрана и запущена — с тем же ответом, …
Статья
Интерпретатор: явный стек, лимиты, хвостовые вызовы
Почему вычислитель flang устроен как цикл над явным стеком кадров, а не как рекурсия по стеку JS, как это даёт предсказуемую диагностику вместо RangeError и что …
Статья
Стандартная библиотека и связывание модулей
Пять модулей stdlib, что в них есть и почему они устроены именно так; импорт как слияние объявлений, а не пространство имён, — и что из этого следует для конфликтов имён.
Статья
Тотальность: как доказывается завершение
Разбор анализа структурного убывания: происхождение значений, единая убывающая позиция в цикле вызовов, контрпример, объясняющий это требование, — и честный список того, …
Статья
Система типов и то, чего в ней нет
Двунаправленная проверка вместо Хиндли — Милнера, исчерпывающность разбора, и главное решение: функции не являются значениями первого класса — с объяснением, что за это …
Статья
Синтаксис по факту: модули, функции, выражения, образцы
Разбор конструкций языка по файлам репозитория и по программам, которые мы прогнали через check и test. Отдельно — места, где спецификация показывает одно, а исходники …
Статья
Инструмент: команды flang и контракт вывода
Шесть команд CLI, JSON-контракт вывода, что запускается без сборки, а что требует собранного ядра FTS — и почему обещанной в спецификации команды fmt на самом деле нет.
Статья
Два класса программ: тотальная и обычная
Главное архитектурное решение flang: вместо выбора между полнотой по Тьюрингу и гарантией завершения язык делит программы на два класса, и класс проверяет компилятор, а …
Статья
flang и FTS: что унаследовано, что своё
Репозиторий называется flang, но внутри лежит FTS, а сам язык — в подкаталоге. Разбираем, где проходит граница, что означает обещание обратной совместимости и почему его …
По этому запросу ничего не найдено.