Is this PEP-able? fwhile

Subject	Is this PEP-able? fwhile
From	jimjhb@aol.com
Date	2013-06-25 12:39 -0400
Newsgroups	comp.lang.python
Message-ID	<mailman.3884.1372243291.3114.python-list@python.org> (permalink)

Show all headers | 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

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