Wyzer: 统一内存与网络安全的编程语言
Show HN: Wyzer Programming Language
Wyzer 是一门静态类型、编译型编程语言，旨在用一套统一的资源所有权规则解决内存安全、并发死锁和分布式协议错误。它借鉴了 Rust 的安全理念但摒弃了复杂的借用检查器，引入编排式编程（Choreographic programming）和 Perceus 内存模型，让开发者无需垃圾回收器即可构建安全的分布式系统。从变量定义到网络通信，Wyzer 通过清晰的语法和编译器自动验证，确保资源在内存、线程和网络层面的绝对安全，让编写高可靠性代码变得简单直观。
简洁并非意味着缺乏力量，而是去除了矫饰的纯粹力量。
- jerf
我很欣赏这份雄心，也高兴看到它不是那种随处可见的“2015 年最先进”的语言。它试图做一些真正不同的事情。“将学术成果转化为实际可用之物”这个领域资源丰富，却尚未被充分挖掘。
然而，用一句老话来说，你的光芒被藏在斗底下。我不得不费力挖掘才能找到那些真正的新东西。我建议对整个文档进行重新校准，把重点放在新特性上。HN 上的用户经常抱怨没有把语法示例放在最显眼的位置，但对你来说，我认为你首先应该向新访客展示的正是“编舞（choreography）”这个概念。
设置一个简单的示例，比如实现一个通过语言构造本身就能保证原子安全的并发远程计数器，然后立刻深入讲解这意味着什么。甚至不必先教育大家那些平淡无奇的语言语法，直接切入重点，解释那是什么以及意味着什么。我在 docs/ 目录里看到，或许你的程序员思维觉得在讲完第 1 到 8 节之前先讲编舞会很痛苦，但你可以放心地假设：如果你用编舞这个概念勾起他们的兴趣，他们就会留下来学习其余内容；反之，你却不能放心地假设新读者会愿意浏览完所有相对平淡的细节，只为找到真正有趣的部分。
一门现代语言，对编译“程序”有着现代的见解，它以一种统一的视角看待世界……
- hyperhello
首先，语法非常通用且保守。我对这一点持极其积极的态度。它看起来就像 C、Typescript 或 Java，我没有看到任何神秘的变音符号。
其次，我需要更多示例。README 文档可以无限滚动，这没问题。请为你语言想要涵盖的每个概念都添加示例。这是你深思熟虑、让 README 和语言本身都令人惊叹的机会。
另外，你的 AI 免责声明（或者说是你的 AI 的免责声明）很有道理。
- vlovich123
有一件事我不太明白：你们如何保证不会出现分布式死锁？我确信底层研究里肯定涵盖了这一点，但在概念层面上很难想象。
是什么阻止了这样一种编舞场景：Claire 给 Bob 发送消息，但 Bob 在等 Alice，而 Alice 又在等 Claire？
这是否类似于 Rust 的内存安全机制，即并非所有有效的程序都被接受，但所有无效的程序都会被拒绝？
我认为，展示一些分布式代码在简单和非简单分布式场景下的实际运行示例，比渲染一个 3D 甜甜圈更有说服力。
- jitl
你的 README 和文档完全没有描述这里任何有趣或独特的地方。你在 README 里讲了 `if`，却没提编舞式编程（choreographic programming）或 Perceus。是我漏掉了什么大链接吗？
那些酷炫的东西在哪？
- gwbas1c
咦，这个编舞式编程（Choreographic Programming）（https://github.com/Wyzer-Lang/wyzer/blob/master/docs/08_chor...）看起来非常像 Next.js / Dioxus / Leptos 中实现的“服务器函数（server functions）”，只不过被泛化为一种语言特性了。
这绝对是个很酷的想法。我想时间会证明，将其提升到语言层面是否值得。