Dolphin 作者 Eric Hartford 从零造出系统级语言 With，已自举
QuixiAI · x · 2026-09-25
Dolphin 与 Samantha 开源模型的作者 Eric Hartford 发布了他从零编写的编程语言 With——一个编译到原生机器码的系统级语言，已实现自举并提供 C 互操作，主打性能敏感场景（游戏、AI 基础设施、嵌入式、原生工具等）。
设计目标是让原生编程「不那么敌对」：语法接近 Python 风格，同时提供现代类型系统。文中展示了多个示例：
- 用 file.readlines + 正则匹配逐行处理日志
- let ... else 绑定直接解包 Option[T]，省去嵌套 match 处理「查不到就提前返回」的常见模式
- with Config.default() as mut 提供作用域内可变结构体
项目在 GitHub 开源，作者还宣布自己的游戏 WIPE 正在用 With 编写。
所属事件:Dolphion 模型作者 Hartford 从零打造系统级语言 With(2 条相关)→
「编程与Agent」频道最新
- Agent 工厂五大常见错误：微观管理、缺质量标准与「提线木偶戏」 — hugobowne · 2026-09-25
- 31 个 Claude Code 技能目录开源，专注解决 AI 编程的测试验证难题 — doodlestein · 2026-09-25
- 研究者提出人机协作实验循环:AI 出方案、人类执行、全程可观测纠错 — suragnair · 2026-09-25
- SEO 工具 CrawlRaven 上线 60 天获 700 用户，目标再增 2000 — ayushtweetshere · 2026-09-25
- 用「可验证任务+全程轨迹奖励」做 RL 数据生成，就能提升 LLM 推理与编码 — suragnair · 2026-09-25
- 11 月 1 日办形式化验证黑客松：让普通程序员给游戏和 AI Agent 上形式验证 — xennygrimmato_ · 2026-09-25