Re:Erg: a statically typed language that is Python compatible
by still_grokking on Sunday August 14, 2022 @06:46AM
(#32458183)
I don't think defining something as undefined is buggy per se. That's not what I've meant.
But defining some things in a contradicting manner would make up a buggy spec, I guess.
Regarding the int example, funny enough I made a comment about that just before here:
> Signed integer overflow: If arithmetic on an 'int' type (for example) overflows, the result is undefined. One example is that "INT_MAX+1" is not guaranteed to be INT_MIN.
Probably not what the GP meant, but I think this qualifies as a "buggy language (spec)"