Материалы

Статья

Из Python, Go и shell: работающие клиенты, а не декларации

Настоящие клиенты на Python, Go и shell к модели на flang через flang run, печать модели в целевой язык и протокол прогонщика: что компилятор печатает, как читать ошибки …

#flang#python#go

Статья

Доказательства: теоремы, запись доказательства и научные границы

Что именно доказывает flang, чем «доказано» отличается от «сетки» и от вердикта на фактах, как запись доказательства перепроверяет отдельная программа и чего недостаточно …

#flang#proof#certificate

Статья

Каскад GA0 → GA1 → GA2: разделение уровней поиска

Почему смешение поиска решения, настройки параметров и управления бюджетом в одном цикле ломает интерпретируемость, как выглядит каскадная схема из трёх уровней и что …

#sbse#генетические алгоритмы#оптимизация

Статья

AI-агенты и MCP: допуск выдаёт компилятор, а не текст модели

Как встроить flang в контур с ИИ-агентом: проверка программы через MCP, допуск по фактам через flang facts, утверждение фиксирует приложение, отказ приходит …

#flang#ai agents#mcp

Статья

DDD: bounded context, ubiquitous language и command guard

Как встроить flang в доменный слой: модуль как bounded context, переход состояния как функция с доказанными обещаниями и допуск команды по фактам, а не по флагу.

#flang#ddd#bounded context

Статья

React: форма и таблица из одной модели

Схема формы из объекта flang, контролы по типам полей и предпросчёт в браузере напечатанной функцией, который сервер всё равно проверяет заново.

#flang#react#forms

Статья

Правило в Node.js: модель, напечатанная в JavaScript, и граница HTTP

Как на старте сервиса прогнать примеры модели, напечатать её в JavaScript и не смешать вычисление правила с HTTP, кодами ответа и телом запроса.

#flang#nodejs#http

Статья

Примеры внутри правила: новый вид предметных unit-тестов

Чем пример внутри функции flang отличается от обычного unit-теста, как его гоняет flang test и зачем сервису проверять примеры на старте.

#flang#unit testing#examples

Статья

Правила, порядок и обещания: как считается решение

Как записать несколько бизнес-правил функциями flang, почему порядок не важен и чем обещание обеспечивает отличается от автокоррекции результата.

#flang#утилиты#бизнес-правила

Статья

Структуры и типы: форма предметных данных

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

#flang#типы#структуры

Статья

Две поверхности: русская и английская запись одного правила

У каждого ключевого слова flang есть русское и английское написание: один компилятор, одни проверки, разные имена предметной области.

#flang#русский язык#english

Статья

Инструментарий: CLI, WebAssembly, MCP и JSON

Как установить flang, проверить модель, получить JSON и выбрать между командой flang, напечатанным модулем и MCP.

#flang#cli#json