https://news.ycombinator.com/item?id=17224121

«Now that we’ve learned our collective lesson [again — John] that naive dynamic types are too slow for big projects, I am glad to see Ruby-thinkers begin to explore the type system space and search for something that will benefit all Ruby hackers.»

Standard pattern:

“System X is too complicated; it just gets in my way. I can code faster in System Y, which is much simpler. I know what I’m doing and I don’t need the restrictions of System X.”

Years later:

“System Y has serious problems with performance or predictability. We need to add more structure to it, and here it is, look at this spiffy add-on for System Y I wrote.”

And System Y now starts to look like System X, except about a decade or so later.

“Pascal strong typing is stupid; it just gets in my way. I know what I’m doing when I write C code, so I’ll use that.”

“Oh, look, we added strong typing to C.”

“Javascript just lets me write code without the heavy formality of something like Java.”

“Oh, look, we added strong typing to Javascript and called it TypeScript.”

“XML is way too complicated, all we really need is JSON.”

“Oh, look, we’re adding type info to JSON, plus verifiable schemas.”