Yes, that's accurate. I don't think typescript is necessarily the answer though. You don't fix the problems caused by weak implicit type casts with static typi

Yes, that's accurate. I don't think typescript is necessarily the answer though. You don't fix the problems caused by weak implicit type casts with static typing, you do it by turning off weak implicit type casting and raising a lot more type errors.