I don’t want a do until btw. Because that doesn’t work with the indentation in a reasonable way. I just want an until.

until x:
do something

Would work like “while x” except that it would always loop once.

I feel enlightened. Sort of.

I think in the case of tinypy, I’d categorize my “adding decorators by an import” as “hard enough that I had to think” but not so hard that it took me more than half an hour.

better yet, just have a “do:” statement which is an infinite loop and break out of it with “if cond: break”

do:
stmt
stmt
until x > 1
stmt
until othercond

That is from my quotes.txt file that I have been building for the past 15 years.

@Lennart:

As for the until statement, you can create that extension quite easily in python, it just looks weird:

@until(lambda x: x==4)
def loop():
do some work
return vars_to_be_tested

Also there are better logic constructs that you can do with the ‘with’ statement as well. I feel that is a better meme than the until statement as it supports error handling and cleanup in a much more sane manner. @contextmanager rocks!

To quote Tim Peters from 2000:

To summarize 10 years of fruitless discussion on this issue: yes,

while 1:
…
if finished:
break

is the intended way to spell “do … until” in Python.

“do … until F” is better than “do … while F” because the truth of F
conjoined with the loop invariant and loop precondition should imply the
loop postcondition, and the “while” form artificially negates the F of
interest, thus making reasoning harder.

“do … while F” is better than “do … until F” because the truth of F
conjoined with the loop invariant and loop precondition should imply that
the loop invariant still holds, and the “until” form artificially negates
the F of interest, thus making reasoning harder.

Python’s indentation rules do indeed not fit well with either form. If
there were an obvious way to make them fit well, Guido would have done so a long time ago. In the meantime, if you think you see one, write a PEP!

and-no-of-course-uninitialized-vrbls-exist-in-python-ly y’rs - tim