Much of these type tests are redundant, because even in a dynamically typed programming language like JavaScript, most variables don’t change type over the execution of a program.
In no way do I mean to disparage work because doing things for the sake of doing is important, IMO. However, I can’t help but notice this. If the types don’t change that much in a program, then why use a language that makes it so you can never know if the types make sense vs a language that lets you escape into nonsense-land when you need to? A lot of work goes into making dynamic languages fast despite their deficiencies but if the types aren’t changing that much anyways, why not just not use a dynamic language? Yes yes, I understand history, etc.
In no way do I mean to disparage work because doing things for the sake of doing is important, IMO. However, I can’t help but notice this. If the types don’t change that much in a program, then why use a language that makes it so you can never know if the types make sense vs a language that lets you escape into nonsense-land when you need to? A lot of work goes into making dynamic languages fast despite their deficiencies but if the types aren’t changing that much anyways, why not just not use a dynamic language? Yes yes, I understand history, etc.