Re: Is this PEP-able? fwhile

Path	csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!eu.feeder.erje.net!newsfeed.freenet.ag!news2.euro.net!newsgate.cistron.nl!newsgate.news.xs4all.nl!post.news.xs4all.nl!not-for-mail
Return-Path	<fabiosantosart@gmail.com>
X-Original-To	python-list@python.org
Delivered-To	python-list@mail.python.org
X-Spam-Status	OK 0.113
X-Spam-Level	*
X-Spam-Evidence	'H': 0.82; 'S': 0.04; 'subject:PEP': 0.07; 'exit': 0.09; 'cc:addr:python-list': 0.11; '1998': 0.16; 'ah!': 0.16; 'sorts': 0.16; 'specific,': 0.16; 'wrote:': 0.18; 'cc:addr:python.org': 0.22; 'cc:20': 0.24; 'cc:no real name:20': 0.24; '>': 0.26; 'header:In-Reply-To:1': 0.27; 'message-id:@mail.gmail.com': 0.30; '25,': 0.31; 'religious': 0.31; 'allows': 0.31; 'checked': 0.32; 'knows': 0.35; 'received:google.com': 0.35; 'there': 0.35; 'two': 0.37; 'ian': 0.60; 'subject:? ': 0.60; 'to:addr:aol.com': 0.68; 'caused': 0.69; 'subject:this': 0.83; '"one': 0.84; 'goto': 0.84; 'trouble.': 0.91; '2013': 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 :cc:content-type; bh=pfXU62Ie4Rzcgsr+06LDGHEK9mc3+ayeD4BZG5Qb8Cs=; b=plo9CFGmIKUw6kzFaOjMzFGj/vEVosuNXlUyI+fjXGjY54Jj/4as5oLAgeXlfDGp3C +i1zavbcRG+2iJPsTmT9PSH7nZatPK0L/oaJiF92I95zDngqchFeimPwGZb+XXGHfoL3 WNWu9f3A1lnCligU/Rl/sqqH1uq+Km47fTm7p4KiZK6D0tq8kBrdznHsBcXK0LRULRKa f6EC2N2LxzPMmIQVj43x4mbOEn0iMI0N2WBAb/eCf4dx6gO3Hov3a2ehOAxA9uy+Hpnd vJQ+9TiQKgwvt/sidajui2dUH35f7hChBhvUG7Wi2TKTw/uR2q/29aGUBSCre/xv3U6b ml2A==
MIME-Version	1.0
X-Received	by 10.49.71.14 with SMTP id q14mr3836477qeu.90.1372247390768; Wed, 26 Jun 2013 04:49:50 -0700 (PDT)
In-Reply-To	<8D03FD9C062D3C9-1864-1CD1D@webmail-m103.sysops.aol.com>
References	<8D03FD9C062D3C9-1864-1CD1D@webmail-m103.sysops.aol.com>
Date	Wed, 26 Jun 2013 12:49:50 +0100
Subject	Re: Is this PEP-able? fwhile
From	Fábio Santos <fabiosantosart@gmail.com>
To	jimjhb@aol.com
Content-Type	multipart/alternative; boundary=047d7b5da81545559704e00d3ee7
Cc	python-list@python.org
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.3889.1372247399.3114.python-list@python.org> (permalink)
Lines	59
NNTP-Posting-Host	2001:888:2000:d::a6
X-Trace	1372247399 news.xs4all.nl 15880 [2001:888:2000:d::a6]:41870
X-Complaints-To	abuse@xs4all.nl
Xref	csiph.com comp.lang.python:49250

Show key headers only | View raw

[Multipart message — attachments visible in raw view] - view raw

On 26 Jun 2013 11:45, <jimjhb@aol.com> wrote:
>
> On Tuesday, June 25, 2013 9:30:54 PM UTC+5:30, Ian wrote:
> > In my experience the sorts of people who preach "one exit point" are
> > also all about defining preconditions and postconditions and proving
> > that the postconditions follow from the preconditions.  I think that
> > the two are linked, because the "one exit point" rule makes those
> > sorts of proofs simpler.
>
> Ah! utopia!
>
> For every one who knows about pre/post/invariant conditions, there are 10
who follow goto-statement-is-harmful like a religious edict.
>
>
>
> I just checked and MISRA-C 2012 now allows gotos in specific, limited
circumstances.  I think it was the MISRA-C 1998 standard that caused all
this trouble.  So if MISRA now allows goto, why not Python????  :)
>

What is the matter? Just use the goto module...

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

Thread

Re: Is this PEP-able? fwhile Fábio Santos <fabiosantosart@gmail.com> - 2013-06-26 12:49 +0100

csiph-web