2 ms·
It is also worth mentioning that Oberon-07 is a purely structured language in the sense that each sequence of statements is either fully executed or not execute
by augustk 4y ago
It is also worth mentioning that Oberon-07 is a purely structured language in the sense that each sequence of statements is either fully executed or not executed; the only exception is ASSERT(FALSE) which halts the program.
So in Oberon:
WHILE i < 100 DO
...
END
(*Is i >= 100 here? Yes of course, otherwise the loop guard would be lying.*)
In C:
while (i < 100) {
...
if (i >= 10) break;
...
}
/*Is i >= 100 here? No, not necessarily. Why is the loop guard lying then?*/