Article
From Python, Go, and shell: working clients, not declarations
Real Python, Go and shell clients for a flang model through flang run, printing the model into a target language, and the runner protocol: what the compiler prints, how …
Knowledge base
Articles
Digitable articles, guides, walkthroughs and courses.
Found in the section
Articles
12 on this page
Article
Proofs: theorems, proof records and scientific boundaries
What exactly flang proves, how “proved” differs from a “grid” and from a verdict on facts, how a separate program re-checks the proof record, and what is not enough for a …
Article
Каскад GA0 → GA1 → GA2: разделение уровней поиска
This page has not been translated into English yet. The Russian original is complete and current: open it in Russian. The English edition ships in stages — interface and …
Article
AI agents and MCP: admission comes from the compiler, not from the model's text
How to put flang into a loop with an AI agent: program checks over MCP, admission on facts with flang facts, a claim fixed by the application, and a machine-readable …
Article
DDD: bounded context, ubiquitous language and command guard
How to put flang into the domain layer: a module as a bounded context, a state transition as a function with proved promises, and command admission decided on facts …
Article
React: form and table from one model
A form schema from a flang object, controls chosen by field types, and a browser preview by the printed function that the server still recomputes.
Article
A rule inside Node.js: the model printed to JavaScript and the HTTP boundary
How to run the model’s examples when the service starts, print the model to JavaScript, and keep the rule apart from HTTP, response codes and request bodies.
Article
Examples inside the rule: a new kind of subject unit test
How an example inside a flang function differs from an ordinary unit test, how flang test runs it, and why a service checks examples at startup.
Article
Rules, order, and promises: how a decision is computed
How to write several business rules as flang functions, why their order does not matter, and how the ensures promise differs from auto-correcting the result.
Article
Structures and types: the shape of subject data
Built-in flang types, optional fields, states as a type with variants, nested records, and a form or table from the parsed model.
Article
Two surfaces: the same rule in Russian and English
Every flang keyword has a Russian and an English spelling: one compiler, the same checks, different names of the domain.
Article
Toolchain: CLI, WebAssembly, MCP, and JSON
How to install flang, check a model, get JSON, and choose between the flang command, a printed module, and MCP.
Nothing matched that query.