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

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