> I like languages that let you decide how much you need to "prove it."
I love that too. Are there any other languages than TS that have this as a core design feature?
As I understand that is the core design feature of any strongly typed language.
As I understand that is the core design feature of any strongly typed language.