> The motivation for dynamic checking was often because many JavaScript programs couldn't be given any useful static types. I like this quote: “Dynamic typing:

> The motivation for dynamic checking was often because many JavaScript programs couldn't be given any useful static types. I like this quote: “Dynamic typing: The belief that you can’t explain to a computer why your code works, but you can keep track of it all in your head.” I don't get it personally, when you've got decent type inference the number of type annotations should be minimal and compile-time errors mean things that would cause a runtime crash anyway.