Will definitely check it out as I’m fond of types. But I also like to imagine Big Typecheck trying to manipulate HN readers into abandoning untyped languages.
In the beginning types were useless and hard.
Then we made typeless languages so we didn't need to bother with useless and hard types.
Then we figured out how to make types easier and useful.
1. C - types represent memory layout, which the programmer doesn't care about, are not useful for error handling and control flow and you have to type them out and remember which one is which.
2. Python - Yolo, nothing matters, everything goes. eZ. Shit, why does this code break after refactoring?
3. Rust - Types are inferred, IDEs and the compiler basically tell you what to do and the types are safeguards, rails and handle logic.
Best thing: most of this stuff goes back to the olde languages as well. I.e. IDEs make types in C easier, type hints in Python help with refactoring and so on.
So I think w won't even need to manipulate people out if untyped languages. The academic research that helps make programming better will reach all popular languages.
(Please don't every example to verbatim - it's just a rough outline of an idea not meant to be an in depth analysis. Of course types in C weren't usesless, Rust want the first to introduce all if these ideas, ...).
Then hardware got better, computers became more accessible and the barrier for programming got lower.
Now we have numerous domains of software development covered by numerous different programming languages. The choice is good but because we get drilled that computers are a science people will often squabble that their theory is the one true unified theory.
there's some sort of phenomenon for this, but I can’t recall the name atm.
It happens to me when I want to buy a specific car. I see it everywhere.