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.
no they really are just fancy comments. You can do runtime reflection on them if you wanna make something fancy like a plugin system but that's about it
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.