For instance, if we wanted to take x1 and use np.add to sum the array, ... Pyrefly and Ty: Two new Rust-powered Python type-checking tools compared. Jun 25, 2025 5 mins. how-to.