"In the n/ universe, there is no execution, only observation. Truth is the point of convergence."
n/ (n-slash or n-lang) is a data-centric, lattice-based declarative programming language. This repository houses the single source of truth for the languageβThe n/ Code of Law (The Spec).
n/ eliminates the boundaries between Data, Type, and Logic. In the world of n/, all three are merely different faces of the same geometric object, the Combo, seen through different observational dimensions.
Example: Type as Data, Merge as Verification
;; 1. Define a "Type" (Boundary)
@Adult: {{
age: @int & >= 18
}}
;; 2. Acquire "Data" (Existence)
~payload: { name: "Alice", age: 25 }
;; 3. Execute "Merge" (Observation)
;; In n/, verification is not an action, but a convergence in geometric space.
user: ~payload & @Adult
;; If age doesn't match, 'user' immediately collapses to _|_ (Bottom) with causal tags.
The code consists of 18 core specs, orders of evolution, realization standards, and the digital cosmology appendices.
| Volume | Theme | Summary |
|---|---|---|
| Vol I: Axioms | Foundations | Lattice (01), Lexical (02), Structure (03) |
| Vol II: Flow | Navigation & Logic | Navigation (04), Trinity (05), Unification (06), Morphism (07) |
| Vol III: Order | Governance | Interim Constitution, Governance |
| Vol IV: System | Runtime & Commit | Runtime (08), StdLib (09), Commit (10), Reflection (11) |
| Vol V: Network | Discovery & Validation | Recursion (12), Discovery (13), Grammar (14), Anti-Patterns (15) |
| Vol VI: Echo | Proof & Evolution | Testing (16), Self-Evolution (17), The Echo (18) |
A deep dive into the dynamics of n/ from physical and topological perspectives.
-
Overview & Index: 15 chapters covering
$E=mc^2$ , semantic gravity, quantum collapse, and topos theory.
- Realization: Engineering (REAL_01), Protocols (REAL_02), CAID (REAL_03), Causal Chain (REAL_04).
- Diagnostics: Error Codes (ERROR_CODES), Compliance (REAL_05).
- Guides: Style (GUIDE_01), Optimization (GUIDE_02), Incremental (GUIDE_03).
- Theory: Tropical (APP_01), Formal Proof (APP_02), Paradigms (APP_03), Math (APP_04), LADD (APP_05).
Note: Currently, Traditional Chinese (
zh_TW) is the primary reference. English and Japanese translations are in progress.
To understand n/, we recommend following this sequence:
- PREFACE: The origin and philosophy.
- GLOSSARY: Unified terminology.
- QUICK_REFERENCE: Syntax at a glance.
- SPEC_00 Introduction: Global architecture overview and versioning.
- COSMOLOGYοΌ Gain a deeper understanding of the isomorphism between lattice theory and physics.
The evolution of n/ is governed by a 6-layer structure, ensuring core stability and peripheral flexibility. See SPEC_00.
This specification is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License (CC BY-SA 4.0). See LICENSE for details.
- GitHub Organization: co-nlang
- Official Website: co-nlang.org (TBD)
- Discussions: GitHub Discussions
"Convergence is our goal; Coherence is our bond."