把 Rust 没解决的问题写成新语言，这个 16 岁开发者从零做了一个

一位在 GitHub 上做项目的开发者 Atiksh Sharma，最近发了一个叫 Wyzer 的编程语言项目，仓库地址是 github.com/Wyzer-Lang/wyzer。仓库目前有 4 个 fork、83 个 star，已经提交 72 次。Sharma 在项目自述里写明了做这件事的初衷，是出于对 Rust 的某种不满。Rust 在类型系统里给了开发者内存安全的保证，但这种保证只在单个进程内有效。当服务从一台机器扩展到多台机器、从一个进程拆成一组进程时，分布式死锁、协议不一致、跨服务行为不对这些问题，Rust 的类型系统并没有解决。

Wyzer 的核心尝试是在语言层面引入一个叫「编排式编程」的概念。简单说，这种编程方式让程序员写一次代码，编译器就能推导出多个独立服务之间消息怎么发、什么时候发、谁等谁。Sharma 在自述里直接写了 Rust 的局限——Rust 解决了进程内的内存安全问题，但没有解决跨进程的死锁和协议问题。Wyzer 想用编译期类型推导，把跨服务行为的不也自动保证住。

项目配套的还有一个叫「perceus 内存模型」的东西。这个模型来自早年的研究，专门解决函数式编程里资源回收的难题——具体来说就是「当一个值不再被引用时，谁负责释放它」。Wyzer 把这个模型直接放进语言运行时里，开发者不需要自己写释放逻辑，编译器会分析引用关系、自动决定什么时候释放。这种机制在用 Rust 写底层服务时是手动管理的，在 Wyzer 里被语言本身接管了。

仓库里还附带一个完整的文档站，从「变量与类型」「控制流」「函数与结构体」一直写到「内存模型」。文档里有几段示意代码，能看出这个语言的设计倾向：变量默认不可变，想改就用 var 显式声明；常量用 const；函数体内调用标准库的写法是 std::io::println(y)，跟 Rust 比较接近但不完全一样。这种风格在脚本语言用户眼里可能有点繁琐，但对写过 C++、Rust、Go 的人来说非常熟悉，一看就知道在写什么。

对所有关注新编程语言的开发者来说，Wyzer 给出的最有意思的信号不是语言本身有多少创新，而是这类项目的发起门槛已经被压到了多低。一个 16 岁的开发者可以一个人在几个月里从设计文档到编译器实现到文档站搭完整套东西，这在过去是不可想象的。AI 工具接管了所有「从想法到可用版本」的体力活之后，开发者真正能投入精力的地方，反而是这种需要长期思考的设计选择。Wyzer 这种项目能不能跑出来是一个问题，但「有人愿意从零做一件别人不愿意做的事」这件事本身，已经说明了当下技术社区的某种状态。

（来源：Hacker News 2026 年 8 月 Show HN 帖子《Wyzer Programming Language》）

独立开发产品分析，上乌鸦部落。

创业找资源，上乌鸦部落。