开发者近日在Hacker News展示了自主研发的编程语言Wyzer，该项目即将发布0.1.0版本[1]。Wyzer是一门静态类型、编译型、资源导向的编程语言[1]，集成了编舞式编程（choreographic programming）和Perceus内存模型[1]。
该项目历时5个月研究和数周开发[1]，旨在解决现有语言在分布式系统中的不足。开发者表示，虽然Rust等语言提供了内存安全保障，但无法保证分布式死锁安全和跨服务正确性[1]。为此，Wyzer采用线性/仿射类型系统和Perceus引用计数方案替代借用检查器和生命周期[1]。
A developer has unveiled Wyzer, a new statically-typed, compiled programming language designed to address distributed safety challenges in existing systems [1]. The language integrates choreographic programming—a model for coordinating distributed processes—alongside the Perceus memory management approach [1]. The project, which follows five months of research and several weeks of development, is preparing to release version 0.1.0 [1].
Wyzer employs linear and affine type systems combined with Perceus reference counting, replacing traditional borrow checkers and lifetime annotations [1]. According to its creator, while languages like Rust successfully enforce memory safety, they cannot guarantee protection against distributed deadlocks or ensure correctness across multiple services [1]. The new language seeks to close this gap by building distributed safety guarantees directly into its design [1]. Wyzer is positioned as a resource-oriented language tailored to solve correctness problems in distributed systems that existing approaches leave unresolved [1].