Тема: flang

Статья

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

flang 0.7.29 выводит проверенную программу в десять целей — C, C++, C#, Elixir, Go, Java, JavaScript, Python, Rust и TypeScript. Одна программа, десять сборок, десять …

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

Статья

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

Как flang 0.7.29 вычисляет программу: вычислитель написан на самом flang и работает как цикл над явным стеком кадров. Пределы шагов, глубины и памяти, коды отказа, …

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

Статья

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

Что ставится вместе с flang 0.7.29: 64 модуля библиотеки, полиморфные списки, функции-значения, суммы типов вместо исключений. Импорт по имени модуля как слияние …

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

Статья

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

Как flang 0.7.29 доказывает, что функция с пометкой «тотальная» остановится: три способа убывать (часть значения, постоянный шаг с проверкой снизу, объявленная мера …

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

Статья

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

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

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

Статья

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

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

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

Статья

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

Как поставить flang 0.7.29, что лежит в готовой сборке, пятнадцать команд двоичного файла, коды возврата и где вывод бывает JSON. Каждый пример прогнан на 0.7.29.

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

Статья

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

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

#workbench#digit#mcp

Статья

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

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

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

Статья

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

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

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

Статья

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

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

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

Статья

flang: язык, в котором программа обязана доказать, что остановится

Что такое flang 0.7.29: два класса программ вместо одного, доказательство завершения при проверке, примеры и постусловия внутри функции, перевод проверенной программы в …

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