0.1.0-rc.6 support matrix
This matrix summarizes the user-facing state of Pop 0.1.0-rc.6. “Implemented” means the feature is checked and executable in its documented path. “Limited” means a real foundation exists but its public surface is incomplete.
Language
Section titled “Language”| Feature | Status | Boundary |
|---|---|---|
| Functions and typed parameters/results | Implemented | result annotations are not inferred |
| Initialized local inference and assignment | Implemented | assignment never changes the inferred type |
if, elseif, conditional values |
Implemented | exact Boolean conditions and common branch type |
while, repeat, numeric for |
Implemented | inclusive integer ranges; break and continue |
Generalized for value in iterable |
Implemented | exact nominal Iterable<T> / Iterator<T> protocols; String yields Rune |
| Local functions and closures | Implemented | captured mutable state is shared |
| Fixed-width integers and floats | Implemented | decimal floats, full ordering, checked explicit conversions |
| Strings | Implemented | escapes, .., backtick interpolation, primitive formatting |
| Fixed packs, tuples, multiple assignment | Implemented | exact arity; static one-based tuple projection |
| Function values | Implemented | no function equality |
| Arrays | Implemented | fixed length, one-based, limited operations |
| Typed tables | Implemented | optional lookup and insertion/replacement; no deletion or iteration API |
Records and with |
Implemented | aggregate literals require expected context |
Tagged unions and exhaustive match |
Implemented | no wildcards, guards, or expression result |
| Classes | Implemented | nominal identity; no supported general inheritance |
| Interfaces | Implemented | explicit nominal implementation; no default bodies |
| Constants and compile-time functions | Implemented | closed, effect-limited compile-time call graph |
| Typed attributes | Implemented | no general code-generating macro system |
| Enums and type aliases | Implemented | payload-free nominal enums; non-generic erased aliases |
| Explicit generics | Implemented | functions, records, unions, and Standard algorithms; inference is exact and bounded |
| Exceptions | Not implemented | runtime traps cannot be caught in Pop source |
Standard and tooling
Section titled “Standard and tooling”| Feature | Status | Boundary |
|---|---|---|
Pop.Standard collections, text, bytes, math, time, and value APIs |
Implemented | typed namespaces; see the Standard API map and exact baseline |
Pop.Standard network and explicit host I/O |
Implemented | bounded operations, typed handles, deadlines/cancellation, platform capability limits |
Pop.Http |
Implemented | separate versioned HTTP/1.1 Package over Standard transport |
| Native LLVM build and run | Implemented | Linux release archives |
| C11 transpiler | Limited | runtime-free subset only |
| MIR interpreter | Internal | conformance engine, no public CLI command |
bubble.toml project workflows |
Implemented | locked local Package/Bubble graph, explicit manifest commands and target selections |
| Formatter, lint, docs, test, benchmark CLI | Implemented | manifest commands with structured diagnostics; target/editor coverage remains platform-dependent |
| Package registry/publishing | Limited | local/locked Package artifacts are supported; registry transport is outside this edition |
Reserved words and internal type identities are not promises of source-level functionality. Use the chapters in this version of the book and pop --help rather than future-oriented names as the compatibility contract.