Vigil, the eternal morally vigilant programming language

#1

Post by alex_marchant » Sun, Sep 03, 2023, 12:32 AM UTC

Vigil, the eternal morally vigilant programming language
github.com

Re: Vigil, the eternal morally vigilant programming language

#2

Post by lemper » Sun, Sep 03, 2023, 12:56 AM UTC

if I put square_root("branch") what then? how you gonna punish me? cut my workload? raise my paycheck?

Re: Vigil, the eternal morally vigilant programming language

#3

Post by xeckr » Sun, Sep 03, 2023, 12:58 AM UTC

I could see this being fun in a competitive programming context.

Re: Vigil, the eternal morally vigilant programming language

#4

Post by dang » Sun, Sep 03, 2023, 1:01 AM UTC

Vigil, the eternal morally vigilant programming language - https://news.ycombinator.com/item?id=24967144 - Nov 2020 (2 comments)

Vigil, the eternal morally vigilant programming language - https://news.ycombinator.com/item?id=20451115 - July 2019 (1 comment)

Vigil, the eternal morally vigilant programming language - https://news.ycombinator.com/item?id=15209452 - Sept 2017 (48 comments)

Vigil: A programming language with eternal moral vigilance - https://news.ycombinator.com/item?id=5002597 - Jan 2013 (118 comments)

Re: Vigil, the eternal morally vigilant programming language

#5

Post by alex_marchant » Sun, Sep 03, 2023, 1:15 AM UTC

> 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.

Re: Vigil, the eternal morally vigilant programming language

#6

Post by foota » Sun, Sep 03, 2023, 1:31 AM UTC

Replace deleted with passed to ChatGPT and you'll have VCs lining up.

Re: Vigil, the eternal morally vigilant programming language

#7

Post by foota » Sun, Sep 03, 2023, 1:32 AM UTC

lemper wrote: post #2

if I put square_root("branch") what then? how you gonna punish me? cut my workload? raise my paycheck?

Careful, if there's no calling code left to delete it might just go after the programmer :-)

Re: Vigil, the eternal morally vigilant programming language

#8

Post by taneq » Sun, Sep 03, 2023, 1:37 AM UTC

Programmer: makes minor typo

Vigil: THE HERESY MUST BE PURGED

Re: Vigil, the eternal morally vigilant programming language

#9

Post by whisket » Sun, Sep 03, 2023, 2:00 AM UTC

Isn't the fib function as given heretical? Is it missing an oath, or is that the point?

Re: Vigil, the eternal morally vigilant programming language

#10

Post by peter_d_sherman » Sun, Sep 03, 2023, 2:10 AM UTC

Hilarious!

And Brilliant!

Also... deeply, deeply disturbing... on many levels...

(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! :-)