Wyzer: Choreographic Programming Language Launched on GitHub
Original: Show HN: Wyzer Programming Language
Why This Matters
Wyzer addresses a gap in distributed systems safety that existing languages like Rust leave unresolved.
Wyzer is a new statically typed, compiled, resource-oriented programming language that integrates distributed safety through choreographic programming and the Perceus memory model, published on GitHub with 87 stars and an Apache-2.0 license.
Wyzer is an open-source programming language developed by Wyzer-Lang, currently available on GitHub with 87 stars and 72 commits. The language is statically typed, compiled, and resource-oriented, targeting distributed systems correctness — a problem its creator argues Rust does not address.
According to the project's README, Rust guarantees safety within a single process but does not handle distributed deadlocks, protocol mismatches, or cross-service correctness. Wyzer attempts to solve these issues by incorporating choreographic programming, described as 'one of the few serious attempts to solve it,' alongside a Perceus memory model for automatic memory management without a garbage collector.
The repository includes documentation covering variables and types, control flow, functions and structs, and the memory model. Supporting documents include a formal ABI specification (ABI_SPEC.md), a design document (DESIGN.md), a spec sheet (SPEC_SHEET.md), and a research references file (RESEARCH.md). The project is implemented using the OCaml build system Dune. Contributions are open, and the team maintains a Discord server for community participation.