In the next ty release, we have full support for recursive implicit type aliases (at…
This is a dev post classified by Jev as Languages & runtimes (a launch), kept by the Dev Radar because it carries real work, not commentary.
In the next ty release, we have full support for recursive implicit type aliases (at arbitrary depths). For the type theorists among us, this is implemented using mu types.
Posted by Charlie Marsh (50.6k followers) 1 days ago · 262 likes · 13.4k views · view the original post on X. Kept by the Dev Radar as Languages & runtimes.
More dev work like this
- JavaScript tip. — @xah_lee
- This Week in Effect #136 — @EffectTS_
- [Call for testing] trim-paths RFC 3127 — @rustaceans_rs
- No, the sandbox isn't dead, we just migrated from Vite to OJ 🦀 — @raphamorims
- Apple’s programming language is getting serious about Linux. — @twtayaan
- The Golden Spike, and Resurrecting the Vale(n) Programming Language — @rustaceans_rs
- Why TeX is Slow and How We Rebuilt It in Pure Rust — @xah_lee
- OJ 0.2.0 is out! 🍊 — @raphamorims
Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 12.2k posts from 4.7k X accounts over the last 21 days, 1.4k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-19 18:39 UTC. Full method.