Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.mixmin.net!feeds.phibee-telecom.net!newsfeed.xs4all.nl!newsfeed2.news.xs4all.nl!xs4all!newsgate.cistron.nl!newsgate.news.xs4all.nl!post.news.xs4all.nl!not-for-mail
Return-Path: <jimjhb@aol.com>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: UNSURE 0.371
X-Spam-Level: ***
X-Spam-Evidence: '*H*': 0.50; '*S*': 0.24; 'subject:PEP': 0.07; 'exit': 0.09; '1998': 0.16; 'ah!': 0.16; 'sorts': 0.16; 'specific,': 0.16; 'wrote:': 0.18; '&gt;': 0.26; '25,': 0.31; 'religious': 0.31; 'allows': 0.31; 'checked': 0.32; 'knows': 0.35; 'there': 0.35; 'charset:us-ascii': 0.36; 'two': 0.37; 'to:addr :python-list': 0.38; 'to:addr:python.org': 0.39; 'ian': 0.60; 'subject:? ': 0.60; 'from:no real name:2**0': 0.61; 'header :Message-Id:1': 0.63; 'caused': 0.69; 'subject:this': 0.83; '"one': 0.84; 'received:172.29.51.138': 0.84; 'received:64.12.224': 0.84; 'received:mtaomg- da02.r1000.mx.aol.com': 0.84; 'trouble.': 0.91; '2013': 0.98
To: python-list@python.org
Subject: Is this PEP-able? fwhile
X-MB-Message-Source: WebUI
X-MB-Message-Type: User
MIME-Version: 1.0
From: jimjhb@aol.com
Content-Type: multipart/alternative; boundary="--------MB_8D03FD9C06C594D_1864_6A5DF_webmail-m103.sysops.aol.com"
X-Mailer: AOL Webmail 37834-STANDARD
X-Originating-IP: [208.67.228.35]
Date: Tue, 25 Jun 2013 12:39:53 -0400 (EDT)
x-aol-global-disposition: G
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mx.aol.com; s=20121107; t=1372178394; bh=A/zn5LtuPUiHs8rKgfRC4HPVfC6iUmF4w8ao3++DnBA=; h=From:To:Subject:Message-Id:Date:MIME-Version:Content-Type; b=hZHviYkQLkSnDctC4rTIIPrrNRgvPyMv9ZhfTTffsY45/f+uohS6CCiKpd19f83Xh h/jNsgzQqOwF0y5N0aW5+UCcubPzTeTuEVvXOYw3EAllHj+++X29u2Y1L7SF8E5uZx e7KqtQ7UaDB4YtGdbz0P+H1zcKmXyf5Yu6lyEcn4=
X-AOL-SCOLL-SCORE: 0:2:371156416:93952408
X-AOL-SCOLL-URL_COUNT: 0
x-aol-sid: 3039ac1d338a51c9c7da7851
X-Mailman-Approved-At: Wed, 26 Jun 2013 12:41:30 +0200
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.3884.1372243291.3114.python-list@python.org>
Lines: 57
NNTP-Posting-Host: 2001:888:2000:d::a6
X-Trace: 1372243291 news.xs4all.nl 16009 [2001:888:2000:d::a6]:38308
X-Complaints-To: abuse@xs4all.nl
Xref: csiph.com comp.lang.python:49245

This is a multi-part message in MIME format.
----------MB_8D03FD9C06C594D_1864_6A5DF_webmail-m103.sysops.aol.com
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset="us-ascii"


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 w=
ho follow goto-statement-is-harmful like a religious edict.



I just checked and MISRA-C 2012 now allows gotos in specific, limited circu=
mstances.  I think it was the MISRA-C 1998 standard that caused all this tr=
ouble.  So if MISRA now allows goto, why not Python????  :)



----------MB_8D03FD9C06C594D_1864_6A5DF_webmail-m103.sysops.aol.com
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html; charset="us-ascii"

<font color=3D'black' size=3D'2' face=3D'arial'><pre style=3D"font-family: =
arial; white-space: pre-wrap;">On Tuesday, June 25, 2013 9:30:54 PM UTC+5:3=
0, Ian wrote:
&gt;<i> In my experience the sorts of people who preach "one exit point" ar=
e
</i>&gt;<i> also all about defining preconditions and postconditions and pr=
oving
</i>&gt;<i> that the postconditions follow from the preconditions.  I think=
 that
</i>&gt;<i> the two are linked, because the "one exit point" rule makes tho=
se
</i>&gt;<i> sorts of proofs simpler.
</i>
Ah! utopia!

For every one who knows about pre/post/invariant conditions, there are 10 w=
ho follow goto-statement-is-harmful like a religious edict.
</pre><pre style=3D"font-family: arial; white-space: pre-wrap;"><br>
</pre><pre style=3D"white-space: pre-wrap;"><font face=3D"Arial, Helvetica,=
 sans-serif">I just checked and MISRA-C 2012 now allows gotos in specific, =
limited circumstances.  I think it was the MISRA-C 1998 standard that cause=
d all this trouble.  So if MISRA now allows goto, why not Python????  :)</f=
ont></pre>
<div style=3D"font-family: arial;"><br>
</div>
</font>
----------MB_8D03FD9C06C594D_1864_6A5DF_webmail-m103.sysops.aol.com--