ty is an extremely fast Python type checker and language server, written in Rust, offering...