Re: Vigil, the eternal morally vigilant programming language

Path	csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!us.feeder.erje.net!feeder.erje.net!eu.feeder.erje.net!newsfeed.xs4all.nl!newsfeed1.news.xs4all.nl!xs4all!post.news.xs4all.nl!not-for-mail
Return-Path	<rosuav@gmail.com>
X-Original-To	python-list@python.org
Delivered-To	python-list@mail.python.org
X-Spam-Status	OK 0.010
X-Spam-Evidence	'H': 0.98; 'S': 0.00; 'bug.': 0.07; 'python': 0.09; 'alain': 0.09; 'subject:language': 0.09; 'url:github': 0.09; 'extension': 0.13; '(sorry': 0.16; 'from:addr:rosuav': 0.16; 'from:name:chris angelico': 0.16; 'subject:programming': 0.16; 'wrote:': 0.17; 'written,': 0.17; 'jan': 0.18; 'logical': 0.22; 'work.': 0.23; 'least': 0.25; 'header:In-Reply-To:1': 0.25; 'am,': 0.27; 'message-id:@mail.gmail.com': 0.27; "doesn't": 0.28; 'announced': 0.29; 'reduced': 0.29; 'instruction': 0.32; 'could': 0.32; 'to:addr:python-list': 0.33; 'that,': 0.34; 'program,': 0.34; 'received:google.com': 0.34; 'received:209.85.220': 0.35; 'received:209.85': 0.35; 'received:209': 0.37; 'subject:: ': 0.38; 'to:addr:python.org': 0.39; 'header:Received:5': 0.40; 'subject:, ': 0.61; 'everybody': 0.69; '2013': 0.84; 'engineers,': 0.93; 'serious': 0.98
DKIM-Signature	v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; bh=Klw70qDX54+Kaw/0RIKar+6no35NT6mmgLQxgDGngqQ=; b=IqxLPQ3tX0CHXHy5djchmDblVjFPdDI6tOkIffaBg4B27A3NwnD4/xiMRiLvML08i7 7qNRPn7CxEj4AndvZezNueMg23+hjiu1BRlcsbIR+Oa7aw94AFr73PiN1whAMZAdU0wn 8Hw/HficdcFUZ8H8UXEQAYrbXiMKq32DO4ocvvlR/QUUfQXMOoAfaTa5jsDefXy6/mFX dRZSdLhIeGd93EgkQXAcq0HFIbYfe30mL2UCiVCOv88NZm8D1g8+wwqPz5g4FOcGPEyB J6075H+ahK1KenJpW1rv7cr3UPGAKBUzkNrzSZ+5xN7a9hWk+0xbKZronkvT8C88podw ft4A==
MIME-Version	1.0
In-Reply-To	<87vcb9yobm.fsf@dpt-info.u-strasbg.fr>
References	<87vcb9yobm.fsf@dpt-info.u-strasbg.fr>
Date	Tue, 8 Jan 2013 03:08:27 +1100
Subject	Re: Vigil, the eternal morally vigilant programming language
From	Chris Angelico <rosuav@gmail.com>
To	python-list@python.org
Content-Type	text/plain; charset=ISO-8859-1
X-BeenThere	python-list@python.org
X-Mailman-Version	2.1.15
Precedence	list
List-Id	General discussion list for the Python programming language <python-list.python.org>
List-Unsubscribe	<http://mail.python.org/mailman/options/python-list>, <mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive	<http://mail.python.org/pipermail/python-list/>
List-Post	<mailto:python-list@python.org>
List-Help	<mailto:python-list-request@python.org?subject=help>
List-Subscribe	<http://mail.python.org/mailman/listinfo/python-list>, <mailto:python-list-request@python.org?subject=subscribe>
Newsgroups	comp.lang.python
Message-ID	<mailman.227.1357574915.2939.python-list@python.org> (permalink)
Lines	16
NNTP-Posting-Host	2001:888:2000:d::a6
X-Trace	1357574915 news.xs4all.nl 6957 [2001:888:2000:d::a6]:33164
X-Complaints-To	abuse@xs4all.nl
Xref	csiph.com comp.lang.python:36361

Show key headers only | View raw

On Tue, Jan 8, 2013 at 3:01 AM, Alain Ketterlin
<alain@dpt-info.u-strasbg.fr> wrote:
>
> I just came across Vigil, an extension to python for serious software
> engineers, at https://github.com/munificent/vigil and thought everybody
> in this group would be interested (sorry if it has been announced
> before).

It's the logical derivation of the principle that every program, once
written, could be shortened by at least one instruction and contains
at least one bug. From that, you can deduce that every program can be
logically reduced to a single instruction that doesn't work.

Vigil assists you with this logical reduction.

ChrisA

Thread

Vigil, the eternal morally vigilant programming language Alain Ketterlin <alain@dpt-info.u-strasbg.fr> - 2013-01-07 17:01 +0100
  Re: Vigil, the eternal morally vigilant programming language Chris Angelico <rosuav@gmail.com> - 2013-01-08 03:08 +1100
  Re: Vigil, the eternal morally vigilant programming language Terry Reedy <tjreedy@udel.edu> - 2013-01-08 03:12 -0500

csiph-web