Doesn't Python 3 have types? I've seen a few well typed codebases and it really made the code much easier to understand. Or is it just that it's not checking them strongly enough?
The type annotations are just fancy comments. They do not do anything at runtime. If you have a function that takes an int someone can still pass in a list or anything else.
That sounds pretty neat thank you. At some point lua had an official typed extension that is no longer maintained unfortunately. Hopefully there's a stable fork one day.