Z#

What it is

Z# is a memory-safe systems language aimed at Rust-competitive speed with as-easy-as-Python ergonomics: indentation-delimited blocks, elif as a keyword, no required fn main, optional braces, multi-file projects, zero warnings.

Targets and format

CANONICAL SOURCE is .z (text). The compiler emits ELF and PE/EXE. It ships a small standard library (zsharp/lib/std/: any, bytes, core, dict, fmt, list, math, mod, raw, set, sort, str).

Honest status

Compiler is not finished hir, mir and backend are stubs. Nothing is type-checked, nothing is bounds-checked and nothing is enforced — and the front end has four open defects that will stop you on your first afternoon. So: every example is written in the real syntax and most of it parses today; anything that hits a missing feature or defect says so inline at the example.

The safety story is a specification SAFETY-STATUS.md records 0 of 17 properties observed. Nothing you read in the docs has been executed. zsc version is a build setting, not a measurement — "real" per stage does not mean finished.

Known gaps (selected)

mod, trait, impl do not parse.
Multi-line brackets regressed.
The standard library is thin.
Unsafe code is not enforced.
No REPL; zpm is not implemented.

Tests

Conformance suite: 162 test files across zsharp/tests/conformance/ and zsharp/tests/safety/, plus differential tests and tooling tests. Run with the repo's test harness to see what passes today.

Documentation

Z# by example — read first.

Reference.

Safety status.

Known gaps.

Memory model, Layout, Print ABI.