Typescript Type Casting In Python Example