With some programming languages, a compiler may reject code that, while otherwise syntactically valid, is readily determined to be logically invalid through static analysis of the code.
An example is Visual C++ giving a compile-time error if a program contains a constant division by zero. While ...
was about to say earlier, when someone gets cryptolockered, you know about it as their backup quadruples in size (as it can't do hardlinks on identical files).
It's basically, "should the compiler shield the programmer from obvious mistakes by refusing to compile logically incorrect code, or should it compile the code anyway with a warning because it's syntactically valid?" The user is the programmer.
UX question: 'If the program running failed to delete a file because it was already deleted - should it then display an error specifying this to the user'
Your question: 'If the program running failed to delete a file because it was already deleted, should it raise an exception'
In other words, your question is about complier logic, not the UI
IMO, @bwDraco is right here; "should code of this form be considered an error, a warning, or a non-event" and "if #1 or #2, how should this be presented" are both UX questions.
As evidence, I submit that gcc's classification of things into warning, error, or non-event categories, and the knobs you have to control those, are a UX disaster and thus prima facie a UX matter.
> Jersey is not fully part of the European Union but has a special relationship with it, notably being treated as within the European Community for the purposes of free trade in goods
@Burgi It's interesting that draught beer and cider is still legally sold in fractions or multiples of a pint, and every other drink in a pub is measured in ml.
By the glass
Type Measures
Still wine 125ml, 175ml, multiples of 125ml and 175ml
Port, sherry or other fortified wine 50ml, 70ml, multiples of 50ml or 70ml
Gin, rum, vodka and whisky Either 25ml and multiples of 25ml, or 35ml and multiples of 35ml (not both on the same premises)
Draught beer and cider Third, half, two-thirds of a pint and multiples of half a pint
