Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

undefined behavior

Name: Anonymous 2018-07-20 21:36

discuss

Name: Revised Report on the Algorithmic Language Algol 68 2018-07-21 1:32

a) If something is left "undefined" or is said to be "undefined", then this means that it is not defined by this Report alone and that, for its definition, information from outside this Report has to be taken into account.

{A distinction must be drawn between the yielding of an undefined value (whereupon elaboration continues with possibly unpredictable results) and the complete undefinedness of the further elaboration. The action to be taken in this latter case is at the discretion of the implementer, and may be some form of continuation (but not necessarily the same as any other implementer's continuation), or some form of interruption {2.1.4.3.h} brought about by some run-time check.}

Name: Anonymous 2018-07-21 6:00

>>1
Its shitty way to say "we are allowed to optimize it as we wish"

Name: Anonymous 2018-07-21 16:14

I find it wildly amusing that Algol 68 was more advanced than C11.

Name: Anonymous 2018-07-21 20:19

>>3
'Undefined behaviour' is probably the most honest, direct, way of such a concession. It simply admits 'we have no definition for this behaviour'.

Name: Anonymous 2018-07-22 6:16

>>4
BRING BACK ALGOL

Name: Anonymous 2018-07-22 14:07

>>6
Just use Coq instead. Duh

Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List