Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.python > #49245
| 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; '>': 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> (permalink) |
| 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 |
Show key headers only | View raw
[Multipart message — attachments visible in raw view] - view raw
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???? :)
Back to comp.lang.python | Previous | Next — Next in thread | Find similar | Unroll thread
Is this PEP-able? fwhile jimjhb@aol.com - 2013-06-25 12:39 -0400
Re: Is this PEP-able? fwhile Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2013-06-26 12:33 +0000
Re: Is this PEP-able? fwhile rusi <rustompmody@gmail.com> - 2013-06-26 06:14 -0700
Re: Is this PEP-able? fwhile Dennis Lee Bieber <wlfraed@ix.netcom.com> - 2013-06-26 23:29 -0400
Re: Is this PEP-able? fwhile rusi <rustompmody@gmail.com> - 2013-06-26 06:59 -0700
csiph-web