Тема: flang

Статья

Своя поверхность: как написать тот же язык по-французски

У flang четыре набора ключевых слов — русский, английский, эсперанто и китайский, — и все они дают одно дерево разбора. Как это устроено, чего на какой поверхности нет, …

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

Статья

Как устроен digitdisk: 2 206 строк на flang решают, 20 678 строк на Go делают

Разбор устройства digitdisk по дереву исходников: решения вынесены в ядро на flang с 14 постусловиями, разговор с системой — в хозяина на Go без единой внешней …

#digitdisk#flang#go

Статья

Библиотеки на языке: flang-tui, flang-ribbon и flang-env

Три библиотеки, написанные на flang: раскладка терминального экрана, арифметика ленты окон и разбор переменных окружения. Что каждая умеет, как подключается и чем …

#flang#библиотеки#языки-программирования

Статья

Практикум по flang

Задания с проверкой прямо в браузере: первая функция, ветвление с обещанием, свой тип, свёртка, бизнес-правило, завершение рекурсии и доказательство индукцией.

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

Статья

История изменений языка

Что появилось в каждой версии flang: выпуски, даты, заголовки из заметок о выпусках и число коммитов

#flang#языки-программирования#релизы

Статья

Проверка правила словами: digit rule-check

Правило по-русски превращается в спецификацию FTS, компилируется настоящим компилятором и проходит детектор логических ошибок; исходов три, а не два

#digit#flang#верификация

Статья

Справочник конструкций flang

Конструкции flang с примерами: модуль, функции, типы, списки, предусловия, постусловия, теоремы и процессы. Каждый пример проверен компилятором и открывается в песочнице.

#flang#языки-программирования#справочник

Статья

flang — описание языка

Что за язык flang: два класса программ, печать в девять языков, самоприменение, fspec — спеки на flang — и честная граница между доказанным и проверенным

#flang#языки-программирования#формальные-методы

Статья

Факт-чекинг: право ответить «не могу проверить»

Режим flang facts целиком: три входа, узкая грамматика утверждений и почему она узкая, три исхода вместо двух, след вычисления в ответе — и чем это отличается от вопроса …

#flang#факт-чекинг#тотальность

Статья

Как читать репозиторий и как участвовать

Что где лежит в репозитории flang 0.7.29, с чего начать чтение, как собрать компилятор и прогнать проверки, какие правила записаны в CONTRIBUTING.md и AGENTS.md и куда …

#flang#open source#чтение кода

Статья

Чего в языке пока нет: проверенный список

Что flang 0.7.29 не умеет — каждый пункт с маленькой программой и настоящим ответом компилятора. Рядом — что из прежнего списка недостач уже сделано: мера убывания, …

#flang#ограничения#инструменты

Статья

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

Компилятор flang написан на flang и собирается из закоммиченного C-кода одним make — нужны только cc и make. Как устроен круг раскрутки, что он доказывает и чего не …

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