Programming Language

Nocter

A self-contained systems language built around simplicity, encapsulation, and foolproof design.

/releases/v0.5.0.md

Nocter v0.5.0 Release Notes

Nocter v0.5.0 makes a package practical to create, test, refactor, and use for a small filesystem command-line application. It preserves the exact source-owned package graph introduced in v0.4.0 and adds native testing, package-wide editor operations, a practical standard library, and package authoring commands on that one model.

Download nocter-v0.5.0-arm64-darwin.tar.gz

Highlights

  • nocter init creates a non-overwriting executable or library package with a separate test target.
  • nocter test runs package targets and native test declarations in isolated processes with stable human and format-1 JSON reports.
  • nocter graph inspects exact package identities and dependency edges without rewriting #lock.
  • The immutable package semantic index supports package-wide references and safe rename, automatic imports, compiler-planned quick fixes, and inferred type/effect/provenance inlay hints.
  • Distributed std adds UTF-8 paths, file read/create/append, static Reader and Writer contracts, buffered I/O, string search and owned split, vector retain/truncate, decimal conversion, iterator terminal operations, and allocation-free process queries.
  • A packaged-home acceptance application creates, reads, rewrites, reopens, and appends files while exercising text, collections, numeric parsing, process state, and explicit buffered flush.

Authoring

nocter init json-tool
cd json-tool
nocter check
nocter test
nocter run
nocter graph --locked --offline --format json

Initialization refuses to overwrite nocter.nct or its generated test module. graph is read-only; dependency updates remain the responsibility of nocter fetch, so lock changes stay visible in code review.

Qualification

The release passes the complete compiler, CLI, LSP, distributed-home, formatter, source-corpus, and public-example suite with warnings denied. The optimized distribution passes doctor and a fresh package's check, test, run, and locked-offline graph workflow without repository configuration. A filesystem-oriented standard-library package also passes locked-offline checking from that home.

Explicit Limits

The supported host and target remain arm64-darwin. Registries, semantic-version resolution, workspace membership, source-level lifetime parameters, runtime interface dispatch, async, concurrency, and a stable cross-version ABI are not part of v0.5.0.