Тема: flang

Статья

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

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

#flang#proof#certificate

Статья

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

Статья

Ментальная модель: данные, правила, вывод и эффект

Четыре слоя языка и честное различие между вычислением, доказательством и внешним действием приложения.

#flang#модель#детерминизм

Статья

Исполняемая спецификация: зачем правило, которое компилятор проверяет

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

#flang#исполняемые спецификации#ddd