The Osy# Language Specification
a specification in progress
One document that answers what is this language, ordered so each part may assume the ones before it. It is being written: 5 of 13 sections are drafted, and the other 8 are planned and listed below so the shape of the whole is visible. A section fills in once its claims have been probed against the compiler, not before.
Every normative claim is probed against the compiler before it is written, and the probes are run by CI. A claim that could not be probed is marked UNVERIFIED rather than smoothed over — a specification is read as authority, so the parts that are not established have to be visible.
| § | Section | State |
|---|---|---|
| §1 | Scope, conformance, and notation | drafted |
| §2 | Lexical structure | drafted |
| §3 | Types | planned · not written yet |
| §4 | Declarations | planned · not written yet |
| §5 | Expressions and statements | planned · not written yet |
| §6 | The execution-side model | drafted |
| §7 | Data and queries | planned · not written yet |
| §8 | Security as a language rule | planned · not written yet |
| §9 | Durability semantics | drafted |
| §10 | Declarative surfaces (entity · workflow · component · policy · migration) | planned · not written yet |
| §11 | Deliberate non-features, and why | drafted |
| §12 | Diagnostics as contract | planned · not written yet |
| §13 | Versioning and compatibility | planned · not written yet |