Typescript Type Casting In Python Example Codes