ty 即将支持递归隐式类型别名,底层用 mu types 实现
charliermarsh · x · 2026-09-19
Astral 的 Python 类型检查器 ty 将在下一个版本完整支持任意深度的递归隐式类型别名(implicit recursive type aliases),底层实现使用 mu types(μ 类型)。作者 charliermarsh 还展示了可对类型别名做“解构”(destructuring)的用法。
「编程与Agent」频道最新
- Berkeley 开源 PixelRAG：网页截图取代文本解析做 RAG 检索，星标破万 — tom_doerr · 2026-09-19
- 开发者用 AI 搭视频转写平台替换 SaaS，年省约 120 美元 — AssemblyAI · 2026-09-19
- 让 Computer Agent 自动报销:搜 iMessage、抓 Gmail 收据一键提交 — cameronstow · 2026-09-19
- Claude 拒绝后换 GLM-5.3,AI 耗时12小时逆向移植《黑色行动2》到浏览器 — vasuman · 2026-09-19
- SREGym 团队实测:小型快速决策模型让 SRE Agent 更可靠 — tianyin_xu · 2026-09-19
- 状态感知工具辅助通关《几何冲刺》恶魔关 Clubstep,方法开源 — imjustnewatai · 2026-09-19