That's a good distinction, I agree with you. I hope that some day it's practical write code for browsers that is statically analyzable. I feel like the program

That's a good distinction, I agree with you. I hope that some day it's practical write code for browsers that is statically analyzable. I feel like the programming community was quick to give up static typing when CPUs got fast enough that the performance hit was irrelevant (for many uses), and now we are starting to realize that types were a good idea for correctness too.