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: 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:2**0': 0.24; 'cc:no real name:2**0': 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: =?ISO-8859-1?Q?F=E1bio_Santos?= 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Newsgroups: comp.lang.python Message-ID: 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 --047d7b5da81545559704e00d3ee7 Content-Type: text/plain; charset=ISO-8859-1 On 26 Jun 2013 11:45, 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... --047d7b5da81545559704e00d3ee7 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable


On 26 Jun 2013 11:45, <jimjhb@aol.com<= /a>> 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 po= int" are
> > also all about defining preconditions and postconditions and prov= ing
> > that the postconditions follow from the preconditions.=A0 I think= that
> > the two are linked, because the "one exit point" rule m= akes 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.=A0 I think it was the MISRA-C 1998 standard that caused all = this trouble.=A0 So if MISRA now allows goto, why not Python????=A0 :)
>

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

--047d7b5da81545559704e00d3ee7--