Ty now covers all 22 advanced pattern-matching control-flow cases
charliermarsh · x · 2026-07-28
The ty type checker now supports all 22 control-flow analysis and type-narrowing cases tracked in a large “Advanced pattern matching support” issue.
- The linked issue shows the remaining gaps in pattern matching support, including inference for names bound in patterns, matchargs, and matching on builtin classes.
- A follow-up example highlights discriminated TypedDict narrowing based on mapping patterns.
- The screenshots suggest the implementation now covers the full set of cases that the issue enumerated.
More from Research
- MirrorCode benchmark shows Opus 4.7 solving a long coding task in 14 hours for $251 — Jsevillamol · 2026-07-28
- Podcast explores FinneGAN and FinneganLM, two models trained only on Finnegans Wake — begusgasper · 2026-07-28
- Salamander-inspired CPG demo switches from walking to swimming with one input — zzznah · 2026-07-28
- New histology study says routine slides can predict chemotherapy benefit — jnkath · 2026-07-28
- manosim: Open-Source High-Precision MANO Hand Models for MuJoCo — andrew_n_carr · 2026-07-28
- US Scientists Create 99.9999% Ultra-Pure Silicon for Quantum Chips, Eliminating Atomic Noise — Dr_Singularity · 2026-07-28