Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.python > #49254

Re: Is this PEP-able? fwhile

Path csiph.com!newsfeed.hal-mli.net!feeder3.hal-mli.net!newsfeed.hal-mli.net!feeder1.hal-mli.net!feeder.erje.net!eu.feeder.erje.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From Neil Cerutti <neilc@norwich.edu>
Newsgroups comp.lang.python
Subject Re: Is this PEP-able? fwhile
Date 26 Jun 2013 13:09:33 GMT
Organization Norwich University
Lines 20
Message-ID <b307gdFmqtiU1@mid.individual.net> (permalink)
References <8D03F2B8CF0E7BE-1864-1796B@webmail-m103.sysops.aol.com> <mailman.3773.1372110329.3114.python-list@python.org> <8f813b85-9a4e-4612-82b1-dd58f9bfd497@googlegroups.com> <CAPTjJmo_BD80h14Ab+0KsPQddTabSkZq9HVBb6K8UY-rOXYnFw@mail.gmail.com> <CAMuTYXhDF2Tdw6sL3LPn09E1zBfP5USmnnv_xSQezXkJQgCJqA@mail.gmail.com> <CAPTjJmpDwMi3UirUMWBpn+mvxtx6Dxf5hisCQ=f_ZYCgzQ06wA@mail.gmail.com> <mailman.3835.1372176098.3114.python-list@python.org> <149dc45a-4381-4c94-914b-f12c801e511c@googlegroups.com>
Mime-Version 1.0
Content-Type text/plain; charset=us-ascii
Content-Transfer-Encoding 7bit
X-Trace individual.net gw13dzHSyjZbE4BFAW2CtAwqXk+qqayu5ZtbPgkXNko0WRI1IV
Cancel-Lock sha1:V8whTMxX/AJvwjugFCsUS1LE+AI=
User-Agent slrn/0.9.9p1/mm/ao (Win32)
Xref csiph.com comp.lang.python:49254

Show key headers only | View raw

On 2013-06-25, rusi <rustompmody@gmail.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.

The one-exit-point rule is helpful for tracking entry and exit
invariants. But in my view it shouldn't be followed when it makes
code worse.

-- 
Neil Cerutti

Back to comp.lang.python | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Re: Is this PEP-able? fwhile Chris Angelico <rosuav@gmail.com> - 2013-06-25 07:38 +1000
  Re: Is this PEP-able? fwhile rusi <rustompmody@gmail.com> - 2013-06-24 19:01 -0700
    Re: Is this PEP-able? fwhile Chris Angelico <rosuav@gmail.com> - 2013-06-25 13:54 +1000
    Re: Is this PEP-able? fwhile Benjamin Kaplan <benjamin.kaplan@case.edu> - 2013-06-24 21:20 -0700
    Re: Is this PEP-able? fwhile Chris Angelico <rosuav@gmail.com> - 2013-06-25 17:21 +1000
    Re: Is this PEP-able? fwhile Ian Kelly <ian.g.kelly@gmail.com> - 2013-06-25 10:00 -0600
      Re: Is this PEP-able? fwhile rusi <rustompmody@gmail.com> - 2013-06-25 09:19 -0700
        Re: Is this PEP-able? fwhile Neil Cerutti <neilc@norwich.edu> - 2013-06-26 13:09 +0000
    Re: Is this PEP-able? fwhile Dennis Lee Bieber <wlfraed@ix.netcom.com> - 2013-06-25 20:40 -0400
      Re: Is this PEP-able? fwhile jfharden@gmail.com - 2013-06-26 03:00 -0700
      Re: Is this PEP-able? fwhile Jerry Peters <jerry@example.invalid> - 2013-06-26 19:56 +0000

csiph-web