Wyzer: A new statically typed language for distributed safety with choreographic programming

Introduction to Wyzer

Wyzer is a newly introduced programming language designed to simplify distributed system development. It is statically typed, compiled, and resource-oriented, aiming to provide safety guarantees beyond what single-process languages offer.

Addressing Distributed System Challenges

The language tackles issues such as distributed deadlocks, protocol mismatches, and cross-service correctness, which are not typically covered by existing memory safety mechanisms. Wyzer introduces choreographic programming as a core feature to address these distributed safety concerns.

Core Language Features

Wyzer emphasizes simplicity and explicitness. Variables are immutable by default, requiring the 'var' keyword for mutability and 'const' for compile-time constants. The language supports standard control flow structures like 'if/else', 'while', and 'for' loops.

Error handling is explicit, with functions that can fail returning a 'Result<T, E>' type, which is then handled using 'match' expressions.

Unified Ownership Model

The foundational concept behind Wyzer is that many complex problems in software, including memory bugs, deadlocks, and network errors, stem from unclear resource ownership. Wyzer applies a single, consistent ownership rule across memory management, concurrency, and network interactions to provide a unified solution.