TECH Signal 482
Show HN: Wyzer Programming Language
Wyzer is a new statically typed, compiled programming language that extends resource ownership beyond memory safety to handle distributed deadlocks, protocol mismatches, and cross-service correctness through choreographic programming and a Perceus memory model.
For engineers building distributed systems, Wyzer proposes a single ownership rule governing memory, concurrency, and network interactions, potentially eliminating bug classes that currently require separate tooling. However, this is an early-stage project seeking contributors, so production adoption is not realistic yet.
Written by elseif from the cluster below · every claim links back to a sourceThe three things worth knowing
Wyzer applies choreographic programming beyond networks to threads and interrupts, using one ownership rule for memory, concurrency, and distributed safety.
It uses Perceus reference counting from Koka and Lean 4 instead of Rust's borrow checker, aiming for simpler memory management without a garbage collector.
The language is immutable by default with explicit mutability markers (var vs let), and uses Result<T, E> with match expressions for error handling.
THE CLUSTER