Skip to content

Commit ed58c2d

Browse files
Jonathan D.A. Jewellclaude
andcommitted
feat: add error-lang to nextgen-languages tracking
CHANGES: - Add error-lang to README.adoc satellite repos table - Add error-lang entry to STATE.scm with accurate 45% completion - Document 7,468 LOC across ReScript, Idris2, Zig - Document consolidation completed 2026-02-07 ERROR-LANG STATUS: - Pedagogical language for systems thinking education - Computational haptics, type superposition, positional semantics - Complete: Lexer, Parser, Type system, Analyzer, Stability tracker, FiveWhys, Layer navigator, Idris2 ABI - Missing: Codegen, LSP, Package manager, Debugger, VS Code extension - Consolidated from error-lang + error-lang-playground This resolves error-lang "lost development" - was claimed 0% but actually 45% complete with substantial ReScript compiler implementation. Related: Phase 5 consolidation task Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
1 parent d90b45d commit ed58c2d

2 files changed

Lines changed: 41 additions & 1 deletion

File tree

.machine_readable/STATE.scm

Lines changed: 36 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -247,7 +247,42 @@
247247
(missing . (lsp debugger vscode-extension documentation idris2-abi-proofs))
248248
(related-repos . (obli-transpiler-framework obli-fs obli-riscv-dev-kit obli-ssg))
249249
(fragmentation . "Examples in boinc-boinc/, transpiler separate, 4+ Dockerfiles")
250-
(next . ("Consolidate scattered code" "Complete crypto FFI" "Idris2 ABI proofs" "Begin LSP"))))))
250+
(next . ("Consolidate scattered code" "Complete crypto FFI" "Idris2 ABI proofs" "Begin LSP"))))
251+
252+
(error-lang
253+
((name . "Error-Lang")
254+
(status . active)
255+
(completion . 45)
256+
(category . pedagogical)
257+
(phase . compiler-complete-tooling-missing)
258+
(implementation . "ReScript + Idris2 + Zig")
259+
(loc . 7468)
260+
(files . 27)
261+
(rescript-files . 18)
262+
(idris-files . 6)
263+
(zig-files . 3)
264+
(size . "2.7M")
265+
(canonical-repo . "error-lang")
266+
(has . (lexer parser type-system analyzer stability-tracker five-whys
267+
layer-navigator idris2-abi zig-ffi tutorial-levels examples))
268+
(special-features . (computational-haptics type-superposition positional-semantics
269+
intentional-fragility paradox-exploration))
270+
(completion-details . ((lexer . 100)
271+
(parser . 100)
272+
(type-system . 100)
273+
(analyzer . 100)
274+
(stability-tracker . 100)
275+
(five-whys . 100)
276+
(layer-navigator . 100)
277+
(idris-abi . 100)
278+
(zig-ffi . 40)
279+
(playground-compiler . 30)))
280+
(partial . (zig-ffi playground-compiler))
281+
(missing . (codegen lsp package-manager debugger vscode-extension))
282+
(related-repos . (error-lang-playground))
283+
(fragmentation . "Playground with alternative compiler structure in separate repo")
284+
(consolidated . "2026-02-07")
285+
(next . ("Complete Zig FFI" "Backend architecture decision" "Begin LSP" "VS Code extension"))))))
251286

252287
(critical-next
253288
((1 . "Validate AffineScript end-to-end pipeline (75K LOC needs integration testing)")

README.adoc

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -148,6 +148,11 @@ Each language has its own dedicated repository for implementation:
148148
| Systems programming, Harvard Architecture
149149
| Active
150150

151+
| Error-Lang
152+
| link:https://github.com/hyperpolymath/error-lang[error-lang]
153+
| Pedagogical language for systems thinking
154+
| Active
155+
151156
|===
152157

153158
== Design Spectrum

0 commit comments

Comments
 (0)