shd101wyy 开源编程语言 Yo：LLM 友好的多范式编译型语言

shd101wyy 在 GitHub 发布多范式通用编译型语言 Yo，目标是比 C 慢 0%-15% 以内，语法受 Lisp S 表达式启发，对人类和 AI 均友好。语言支持编译期求值、代数效应、async/await、默认内存安全、显式分配器、编译期引用计数，并可通过 yo verify 基于固定版本的 Z3 做形式化验证。Yo 转译为 C 编译，yo init 生成的项目内置 agent 技能文件与 AGENTS.md，最新版本为 v0.2.4，项目目前仍在开发中。