Ty 已补齐高级模式匹配的 22 种控制流场景
charliermarsh · x · 2026-07-28
ty 类型检查器现在已经支持一个大型 “Advanced pattern matching support” issue 中列出的 22 种控制流分析和类型收窄场景。
- 链接的 issue 展示了模式匹配里此前还不完整的部分，包括：模式中绑定名称的类型推断、matchargs、以及对内置类的匹配。
- 后续示例还展示了基于 mapping pattern 的 discriminated TypedDict 收窄。
- 配图显示，这次实现已经把 issue 中枚举的场景补齐。
「研究」频道最新
- Julian Weisser 开放单人创始人项目申请，提供 10 万美元 — julianweisser · 2026-07-28
- MirrorCode 基准显示，Opus 4.7 用 14 小时、251 美元完成长任务 — Jsevillamol · 2026-07-28
- 播客讨论两款只用《芬尼根守灵夜》训练的模型 — begusgasper · 2026-07-28
- 蝾螈仿生 CPG 演示一键切换行走与游泳 — zzznah · 2026-07-28
- 新研究称常规病理切片可预测化疗获益 — jnkath · 2026-07-28
- MuJoCo 仿真利器：开源高精度 MANO 人手模型 — andrew_n_carr · 2026-07-28