纯类型注解跑通 N 皇后求解器，ty 类型检查器玩出新高度
charliermarsh · x · 2026-10-28
Astral 创始人 Charlie Marsh 转发了一个由类型检查器 ty 驱动的 N 皇后求解器：整段程序只用 Python 类型注解（配合 typing extensions）编写，没有任何运行时逻辑，求解完全在类型层面完成。
亮点包括：
- 支持任意 Peano 编码的棋盘规模（用类型层面的自然数表示棋盘大小）
- revealtype 展开的结果中，每个 tuple 就是一个合法解
- 配图给出了完整的 45 行类型级实现，用 Protocol/overload/递归类型编码约束求解
这是类型系统图灵完备性的一个漂亮展示，也顺带演示了 ty 在复杂递归类型上的推断能力。
「编程与Agent」频道最新
- EmbeddingGemma2变身20ms实时学习端点，CPU上跑多模态 — michellechen · 2026-10-28
- Anthropic 招聘负责人取消编程面试：AI 时代已无信号价值 — felixrieseberg · 2026-10-28
- Nous 研究助手 memelord 支持 MCP 接入，还能讲段子 — alexcovo_eth · 2026-10-28
- Comfy Cloud 新增自定义节点包，一键生成无缝循环 H3 视频 — PurzBeats · 2026-10-28
- 开源工具 Chaosfolk 放 AI 用户攻击你的 Web 应用，专抓可复现 bug — Vjeux · 2026-10-28
- ChipAgents 发布 IC-star:全栈智能体 AI 进军数字与模拟芯片设计 — WilliamWangNLP · 2026-10-28