В Python типы есть не у переменных, а у их значений. Понимание этого - первый шаг к чистому и понятному коду. Python - язык с динамической типизацией. В отличие от статически типизированных языков (например, Go или Rust), интерпретатор Python не обязан знать тип переменной до момента выполнения программы. В этом и сила, и слабость Python. Сила - вы можете быстро писать код, не думая о типах, и быстро создавать прототипы. Слабость - в больших проектах такой код сложнее поддерживать: тяжелее рефакторить, сложнее понять, что за данные хранятся в переменной...