TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Vigil, the eternal morally vigilant programming language

121 点作者 alex_marchant超过 1 年前

19 条评论

alex_marchant超过 1 年前
&gt; 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. &gt; How?<p>&gt; Simple: it will be deleted from your source code.<p>&gt; 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.
dang超过 1 年前
Related:<p><i>Vigil: The eternal morally vigilant programming language</i> - <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=25052001">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=25052001</a> - Nov 2020 (34 comments)<p><i>Vigil, the eternal morally vigilant programming language</i> - <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=24967144">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=24967144</a> - Nov 2020 (2 comments)<p><i>Vigil, the eternal morally vigilant programming language</i> - <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=20451115">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=20451115</a> - July 2019 (1 comment)<p><i>Vigil, the eternal morally vigilant programming language</i> - <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=15209452">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=15209452</a> - Sept 2017 (48 comments)<p><i>Vigil: A programming language with eternal moral vigilance</i> - <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=5002597">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=5002597</a> - Jan 2013 (118 comments)
winternewt超过 1 年前
&quot;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.&quot;
评论 #37370441 未加载
eternityforest超过 1 年前
By fire shall it be cleansed, by the blade shall it be redeemed, no evil shall taint this blessed land!
mikewarot超过 1 年前
So, when a program fails it&#x27;s oath... and it must be punished... I strongly suggest it be sent to purgatory (not deleted), for redemption is always possible.<p>This would make it possible for a programmer to redeem themselves.<p>Of course, you could probably do a git difference... but that&#x27;s not as thematically consistent.
taneq超过 1 年前
Programmer: <i>makes minor typo</i><p>Vigil: THE HERESY MUST BE PURGED
foota超过 1 年前
Replace deleted with passed to ChatGPT and you&#x27;ll have VCs lining up.
评论 #37367653 未加载
jeroenhd超过 1 年前
&gt; It goes without saying that any function that throws an exception which isn&#x27;t caught is wrong and must be punished.<p>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.
peter_d_sherman超过 1 年前
Hilarious!<p>And Brilliant!<p>Also... deeply, deeply disturbing... on many levels... &lt;g&gt;<p>(But then, sometimes some of the best humor is inseparable from being deeply disturbing on many levels...)<p>Kudos to the sick, but funny (but still sick, let&#x27;s not kid ourselves!) mind or group of minds that concocted this!<p>You guy(s) are extremely funny, brilliant, and funny(!) -- but (and it pains me to say this!) also <i>deeply, deeply disturbed</i>...<p>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...<p>So, perhaps it is a hallmark of comedic brilliance...<p>But then again, perhaps it is a hallmark of sickness...<p>This we don&#x27;t know -- but we do know that it is funny, and we do know that it is hilarious! &lt;g&gt; :-) &lt;g&gt;
xeckr超过 1 年前
I could see this being fun in a competitive programming context.
lagniappe超过 1 年前
Makes me miss Terry a little bit :&#x2F;
vitiral超过 1 年前
Let&#x27;s be clear, we all know that Virgil doesn&#x27;t go far enough because PEBCAK
reilly3000超过 1 年前
Talk about executable…
scotty79超过 1 年前
Why can&#x27;t you in modern languages just say n:0.. like in Pascal?<p>Why can&#x27;t you narrow down numeric types to provide range checking?
esbeeb超过 1 年前
I laughed. Hard.
yosito超过 1 年前
I know this is a joke, but it would be interesting to see an actual project built with this, just for curiosity.
lemper超过 1 年前
if I put square_root(&quot;branch&quot;) what then? how you gonna punish me? cut my workload? raise my paycheck?
评论 #37366961 未加载
whisket超过 1 年前
Isn&#x27;t the fib function as given heretical? Is it missing an oath, or is that the point?
评论 #37367354 未加载
classified超过 1 年前
Once it implements the Wich Hunt feature, I&#x27;m sure the Woke Apostle Task Force will adopt it in a heartbeat.