> let x = 5 x still has static type, the compiler just infers it based on the assignment, the type information is still there. Agree that implicit/unsafe casti

> let x = 5 x still has static type, the compiler just infers it based on the assignment, the type information is still there. Agree that implicit/unsafe casting is still and issue in some languages though.