Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.python > #36361

Re: Vigil, the eternal morally vigilant programming language

References <87vcb9yobm.fsf@dpt-info.u-strasbg.fr>
Date 2013-01-08 03:08 +1100
Subject Re: Vigil, the eternal morally vigilant programming language
From Chris Angelico <rosuav@gmail.com>
Newsgroups comp.lang.python
Message-ID <mailman.227.1357574915.2939.python-list@python.org> (permalink)

Show all headers | 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

Back to comp.lang.python | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


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