SiliconA WebAssembly-targeting systems language where features are data.

The compiler core never switches on keyword names. Every operator and control-flow construct is a stratum defined in Silicon source.

Strata 2.0

`@if`, `@loop`, `@match`, `@fn`, `@struct`, `@defer` — every keyword is a stratum in `.si` source. Add `@my_keyword` like writing a function.

Primary target is WAT/WASM (binaryen + wabt). Via QBE, native binaries on linux-x86_64, linux-aarch64, macos-arm64, macos-x64. Opt-in WasmGC backend.

`with_arena { … }` scopes allocation; `move_to_parent_arena value` escapes tail-position. `Rc` for shared ownership. Heap exhaustion is a clean trap.

Declared polymorphism on `@fn[T]` and `@type[T]`. No let-generalisation. Call sites infer `T` automatically. Roc-style trajectory.

Compiler-as-a-Service: `parse`, `elaborate`, `typecheck`, `lower` are the public API. The `sgl` CLI is a thin consumer. LSP/tooling is a wrapper.

No package registry, no incremental compile — all later work, all called out explicitly in the changelog.

silicon

@fn area s:Shape := {
    &@match s,
        $Circle r => r * r * 3,
        $Rect w h => w * h
};

@export area;

sgl run compiles, executes in wasmtime. sgl build --release produces a native binary via the QBE backend.

curl -fsSL https://raw.githubusercontent.com/NatesCode/silicon/main/scripts/install.sh | sh
sgl init hello
cd hello
sgl run