Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.albasani.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.085 X-Spam-Evidence: '*H*': 0.85; '*S*': 0.02; ';-)': 0.03; 'subject:PEP': 0.07; 'exit': 0.09; 'cc:addr:python-list': 0.11; '1998': 0.16; 'ah!': 0.16; 'personally,': 0.16; 'received:mac.com': 0.16; 'sorts': 0.16; 'specific,': 0.16; 'wrote:': 0.18; 'module': 0.19; 'received:10.0.1': 0.19; 'email addr:gmail.com>': 0.22; 'cc:addr:python.org': 0.22; 'adds': 0.24; "i've": 0.25; '>': 0.26; 'am,': 0.29; 'cc:2**2': 0.30; '25,': 0.31; 'religious': 0.31; 'allows': 0.31; 'checked': 0.32; 'cc:no real name:2**1': 0.33; 'knows': 0.35; 'but': 0.35; 'there': 0.35; 'entry': 0.36; 'received:10.0': 0.36; 'two': 0.37; 'received:10': 0.37; 'received:17': 0.38; 'bill': 0.39; 'ian': 0.60; 'subject:? ': 0.60; 'to:addr:gmail.com': 0.65; '26,': 0.68; 'caused': 0.69; 'to:charset:iso-8859-1': 0.74; 'subject:this': 0.83; '"one': 0.84; 'cc:addr:aol.com': 0.84; 'goto': 0.84; 'header:In-reply-to:1': 0.84; '2013,': 0.91; 'trouble.': 0.91; '2013': 0.98 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.10.8794,1.0.431,0.0.0000 definitions=2013-06-26_05:2013-06-26, 2013-06-26, 1970-01-01 signatures=0 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 spamscore=0 ipscore=0 suspectscore=0 phishscore=0 bulkscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=6.0.2-1305010000 definitions=main-1306260075 Content-type: multipart/alternative; boundary="Apple-Mail=_0353A387-7024-489D-8E83-A2C97ED1F356" MIME-version: 1.0 (Mac OS X Mail 6.5 \(1508\)) Subject: Re: Is this PEP-able? fwhile From: William Ray Wing In-reply-to: Date: Wed, 26 Jun 2013 09:28:18 -0400 References: <8D03FD9C062D3C9-1864-1CD1D@webmail-m103.sysops.aol.com> To: =?iso-8859-1?Q?F=E1bio_Santos?= X-Mailer: Apple Mail (2.1508) Cc: python-list@python.org, William Ray Wing 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: 89 NNTP-Posting-Host: 2001:888:2000:d::a6 X-Trace: 1372256910 news.xs4all.nl 15874 [2001:888:2000:d::a6]:48656 X-Complaints-To: abuse@xs4all.nl Xref: csiph.com comp.lang.python:49260 --Apple-Mail=_0353A387-7024-489D-8E83-A2C97ED1F356 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 On Jun 26, 2013, at 7:49 AM, F=E1bio Santos = wrote: > 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???? :) > > >=20 > What is the matter? Just use the goto module... >=20 >=20 Wondered when that would be mentioned. Personally, I've never found that much use for GoTo, but as old timers = know, that same module adds the Come_=46rom entry point, which is = priceless. ;-) Bill= --Apple-Mail=_0353A387-7024-489D-8E83-A2C97ED1F356 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=iso-8859-1 fabiosantosart@gmail.com> = wrote:

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



Wondered when = that would be mentioned.

Personally, I've never = found that much use for GoTo, but as old timers know, that same module = adds the Come_=46rom entry point, which is priceless. =  ;-)

Bill
= --Apple-Mail=_0353A387-7024-489D-8E83-A2C97ED1F356--