Here is my view on this. 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

Here is my view on this. 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, ...).