wiki #type-checking #type-checking 1 page tagged with "type-checking" programming ty type checker — comprehensive guide to ty - the extremely fast rust-based python type checker and language server from astral back to wiki