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 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: References: <8D03F2B8CF0E7BE-1864-1796B@webmail-m103.sysops.aol.com> <8f813b85-9a4e-4612-82b1-dd58f9bfd497@googlegroups.com> <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 On 2013-06-25, rusi 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