> This is where Vigil sets itself apart from weaker languages that lack the courage of their convictions. When a Vigil program is executed, Vigil itself will monitor all oaths (implorations and swears) that have been made. If an oath is broken, the offending function (the caller in the case of implore and the callee in the case of swear) will be duly punished.
> How?
> Simple: it will be deleted from your source code.
> The only way to ensure your program meets its requirements is to absolutely forbid code that fails to do so. With Vigil, this shall be done for you automatically. After enough runs, Vigil promises that all remaining code meets its oaths.
"Every program can be shortened by one line, and every program contains at least one bug. By which we can infer that every program can be reduced to a single, incorrect line of code."
So, when a program fails it's oath... and it must be punished... I strongly suggest it be sent to purgatory (not deleted), for redemption is always possible.
This would make it possible for a programmer to redeem themselves.
Of course, you could probably do a git difference... but that's not as thematically consistent.
> It goes without saying that any function that throws an exception which isn't caught is wrong and must be punished.
Surely the failure is in the lack of handling, not in the throwing of the exception itself? I suppose the lack of checked exceptions in Python makes it impossible to blame the handler because there is no way to indicate what exceptions may be thrown.
Also... deeply, deeply disturbing... on many levels... <g>
(But then, sometimes some of the best humor is inseparable from being deeply disturbing on many levels...)
Kudos to the sick, but funny (but still sick, let's not kid ourselves!) mind or group of minds that concocted this!
You guy(s) are extremely funny, brilliant, and funny(!) -- but (and it pains me to say this!) also deeply, deeply disturbed...
Which I, then again, suppose is a hallmark of great comedy... I mean, I can think of SNL and Monty Python sketches that were extremely funny -- yet also deeply, deeply disturbing on many levels...
So, perhaps it is a hallmark of comedic brilliance...
But then again, perhaps it is a hallmark of sickness...
This we don't know -- but we do know that it is funny, and we do know that it is hilarious! <g> :-) <g>
> Simple: it will be deleted from your source code.
> The only way to ensure your program meets its requirements is to absolutely forbid code that fails to do so. With Vigil, this shall be done for you automatically. After enough runs, Vigil promises that all remaining code meets its oaths.