logoalt Hacker News

throwawayffffas • today at 2:14 PM • 2 replies • view on HN

"Largely correct" my 2010 python 2 code is "largely correct".


Replies

mamcx • today 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.

ahartmetz • today at 2:32 PM

You are saying that there are only incorrect and mathematically proven with nothing meaningful in between?

➕ show 3 replies