Stateful islands

New Issue

CLOSED 2026-05-28: superseded by the kernel-extension-mechanics arc (#6 → #7 → #8). This conversation IS the 're-think with the user' the original description said was needed before further sub-milestone work. The re-think went in a different architectural direction:

Stateful-islands proposed: !Mut effect, mut block + var/assign AST nodes (re-introducing what remove-mut-var-assign atomically removed 2026-05-18), Stateful a b first-class sealed callable, pipe combinator, Decision-12 Memory-Model amendment.
Kernel-extensions delivers: no new effect (own/borrow + uniqueness inference covers the mutation discipline), no re-introduced mut/var/assign, concrete Series ADT instead of abstract Stateful, RawBuf as the storage primitive (the conceptual MutArray with a different name), no pipe combinator in MVP (additive later if shown necessary), no memory-model amendment (kernel-extensions is orthogonal).

Same motivating workload class (SMA, rolling indicators, IIR filters, online aggregates), substantially fewer new language mechanisms. Per Feature-acceptance clause 3 (no bug-class reintroduction) and AILang's 'minimize new mechanisms' line, kernel-extensions is strictly preferable.

Original Stateful-Islands reasoning preserved in commit ae96c90 (roadmap) and the issue history; reachable if a future workload reveals a gap kernel-extensions cannot fill.

Architectural anchor: design/models/kernel-extensions.md.

No due date

100% Completed

No results

Try adjusting your search filters.