No. The python type-checking experience is OK but nowhere near as good as Typescript, let alone a real statically-typed language such as Rust or Java.