ty to ship full support for recursive implicit type aliases, built on mu types
charliermarsh · x · 2026-09-19
Astral's Python type checker ty will add full support for recursive implicit type aliases at arbitrary depths in its next release, implemented with mu types. The author also shows a neat feature to "destructure" a type alias.
More from coding & agent
- Berkeley's PixelRAG hits 10k stars: screenshots beat text parsing for RAG retrieval — tom_doerr · 2026-09-19
- Dev builds own AI video transcription platform, saves $120/year on SaaS — AssemblyAI · 2026-09-19
- Agent handles entire expense report: mines iMessage, pulls Gmail receipts — cameronstow · 2026-09-19
- AI ported Black Ops 2 to the browser: Claude refused, GLM-5.3 did it for a fraction of the cost — vasuman · 2026-09-19
- SREGym team tests Jev: a small, fast decision model to make SRE agents more reliable — tianyin_xu · 2026-09-19
- Tool-assisted state-aware AI clears Geometry Dash demon level Clubstep, methods open-sourced — imjustnewatai · 2026-09-19