Pretty weak argument against type inference. Yegge has used OCaml so i expected better arguments.
And JavaScript 2 is getting type annotations, so the trend is more likely in the other direction to improve performance.
> "... and so all this stuff about having a type-tag saying this is an int – which might not actually be technically correct, if you're going to overflow into a Double, right? Or maybe you're using an int but what you're really using is a byte's worth of it, you know. The runtime can actually figure things out around bounds that are undecidable at compile time."
I got the distinct impression that he wasn't arguing against type inference, merely said that the classic way to do it doesn't always work with dynamic languages, and there are better (newer) ideas regarding how to infer types without resorting to type tags.
"Rule #2" for what NBL requires is "Dynamic typing with optional static types."