Elon Musk loves to speak confidently about shit he knows nothing about. This leads to him being a confident speaker on every topic... I just wish we could figure out a way to shut him up.
Yes the compiler/interpreter can figure it out on the fly, that's what we mean by untyped languages. And as stated both have their merits and their faults.
Elon doesn't know what the words mean and just chimes in with his AI future BS.
I constantly feel the need to argue with this dumb fuck and his 99% wrong opinions. I usually have to take a step back, remember it's not worth it, and then move on. It would be a great help if I had a Firefox add-on that precedes all of musk's tweets with "retard weighing in: ", just as a reminder that he's also allowed a point of view, despite his mental issues.
I won't claim that J. Random Hacker will have issues understanding it -- it's a neatly tied bundle of necessary complexity without any distracting parts (like efficiency), if you sit down with the thing (ideally starting the whole series from the beginning) you'll be able to grok it (and have learned a lot). However, understanding HM isn't the same as being able to extend it, which includes proving soundness of the system, that kind of stuff is a specialised field within a specialised field within academia with more open questions than answered ones. The reason Rust doesn't have HKTs? Because their interaction with lifetimes is insufficiently understood. Those kinds of questions can easily start 20+ years of research only to be answered with "yep that's inherently unsound/uncomputable/whatever".
Oh, EDIT, forgot: AI-enabled typing is obviously a completely braindead idea. I don't need a second lazy, impatient, hubristic idiot looking at my code, I need something to catch mistakes. Something deterministic, rule-based, pure unerring logic. Which is exactly what type systems are and do.
I didn't know we even had dynamic compiled languages but a quick google search tells me Lisp counts. Wonder if Musk actually knew that or if this screenshot is taken mid dunning-kruger.
I mean OCaml... But the issue is more the monkeys bashing out the language wanting to A. set a type for their exported function and B. know what type whatever function they're using is supposed to take so it doesn't randomly break as they gave it some random type that was formerly compatible