Re:Python's “Disappointing” Superpowers
by CoastalCoder on Wednesday February 01, 2023 @05:26PM
(#34618871)
> 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.
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.