> At compile time Python doesnt tell you wether a program is correct.
This is a general limitation of type systems, IIUC. If you want a type system to guarantee 100% program correctness, I think it can't handle an arbitrary Turing-complete program.
Disclaimer: I'm not sure I really understand this topic, so take this with a grain of salt.
This is a general limitation of type systems, IIUC. If you want a type system to guarantee 100% program correctness, I think it can't handle an arbitrary Turing-complete program.
Disclaimer: I'm not sure I really understand this topic, so take this with a grain of salt.