Wyzer编程语言：面向分布式安全的新语言

Wyzer是一种静态类型、编译型、资源导向的编程语言，通过编排式编程和Perceus内存模型实现分布式安全。其开发者因对Rust不满而创建，旨在解决分布式死锁、跨服务正确性和协议不匹配问题。Wyzer采用线性/仿射类型和Perceus引用计数，而非借用检查器和生命周期，使LSP更易理解。项目经过5个月研究和数周开发，即将发布0.1.0版本。Hacker News上获得23分，讨论帖见相关链接。