alt Hacker News[flagged]
Replies
mamcx • yesterday at 4:21 PM
No, Python has not the level of "correct" that rust has.
`sum(a:int, b:int)`
not guaranteed ANYTHING.
The gulf between how much correct Rust is and the vas majority of languages is HUGE.
[flagged]
No, Python has not the level of "correct" that rust has.
`sum(a:int, b:int)`
not guaranteed ANYTHING.
The gulf between how much correct Rust is and the vas majority of languages is HUGE.
You are saying that there are only incorrect and mathematically proven with nothing meaningful in between?