[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
the "blame" pragma
In the amusing paper "Beyond Ada: The First Paranoid Programming Language"
there is an explicit "blame" pragma, but it can only be directed toward a
Typical pragmas include the following:
to put extra suspicion on a procedure,
to totally forget about any calls to a procedure,
to pin the blame on this procedure whenever anything dies...
The language also includes conditional operators, such as
IF x WAS_EVER 100 THEN...
ON_SUSPICION OF x < 100...
INSIST UPON a IS 1;;
UNLESS void OR illegal OR broken;
And "non-pedantic" assignment operators:
x !:= 3 (assigns any value but three)
x REALLY 3 (insists strongly that x is 3)
x HONESTLY 3 (forces the system to believe that x is 3)
x MIGHTBE 3 (lets the system decide)
"What makes it so powerful? For a start, it's a long way from
a traditional von Neumann machine."