31–40 of 120 posts
illa 'quis et me' inquit 'miseram et te perdidit, Orpheu, quis tantus furor? en iterum crudelia retro fata vocant, conditque natantia lumina somnus. iamque vale: feror ingenti circumdata nocte invalidasque tibi tendens, heu non tua, palmas.' dixit et ex oculis subito, ceu fumus in auras commixtus tenuis, fugit diversa, neque illum prensantem nequiquam umbras et multa volentem dicere praeterea vidit; nec portitor Orci…
Earlier quoted context omitted.
Source control allows one to bypass the moral purity of Vigil by recovering arbitrary sinful code from the past. Moral purity can not be advanced while the sins of the past remain with us forever, uncleansed. One can only properly use Vigil without any sort of source control. Even copying files before the compiler tries to run it is an attempt to cheat the system; for that, Vigil would be justified in deleting your e…
I was thinking that it would remove the offending source code from history -- a revisionist source control system, if you will, to show that we have always been at war with Eastasia.
IDK. Implore? Shouldn't there also be beg, cajole, plead, and grovel?
IDK. Implore? Shouldn't there also be beg, cajole, plead, and grovel?
:)
This is the greatest thing ever... except... can it solve the halting problem?
Well, with probability 1 - epsilon, any non-trivial Vigil program halts, and never runs again . In theory this is not a solution to the halting problem, in practice it pretty much is. A very definitive solution.
I hope someone makes a C/C++ compiler that deletes functions from the source code when they trigger undefined behaviour. It would still be compliant with the standard.
To make this actually useful, instead of deleting bad functions, it's probably better to make the offending functions throw a special exception when they are called, signaling the calling of a function known to be bad. This way, you can still inspect the code for the offending functions and fix the bugs. Otherwise, the original code could just totally disappear after multiple runs. What good is non-buggy code if it d…
On a serious note, what you're thinking of is contracts, like so[0]
[1] https://news.ycombinator.com/item?id=5001504 (full disclosure: I'm the submitter of this link)
Excellent idea. Looks like it was co-designed by Kim Jong Un and the Taliban.
Failing to include mandatory ASCII art of the Dear Leader atop each source file is a punishable offence.
Vigil reminds me a little bit of Intercal, with its "Programmer is insufficiently polite" errors.