Your provided reference doesn't actually use the term "strict typing", which is what you had used before and is what I was wondering about. Yes, Python is dynamically typed and strongly typed. The thing is, there aren't all that many modern languages that aren't strongly typed. For that reason, I don't find it to be a very interesting distinction. Dynamic vs. static typing is a much more interesting distinction.

Having been alive and programming when both C++ and Java were created, I believe that your interpretation of those languages is off. They were not created for code generation. The code generation tools came years after their creation, and they have gotten good at it. However, when both of those languages were originally released people definitely wrote them by hand with text editors like vi and Emacs for many years. The current code generation capabilities you get with modern IDEs took a long time to come about and were certainly not part of the original design goals.

I do know that there are proponents of the approach of starting with machine code. It is something that I think is theoretically sound, but less than ideal in practice. It takes a very long time to get to the point where students can write anything of interest when you take that approach. As such, it tends to drive away people who could be very good developers but who want to do something interesting with their projects.