title: Inspiration and influence of the else clause of loop statements?
body: <p>Python loop statements may have an <code>else</code> clause which is executed if and only if the loop is <em>not</em> terminated by a <code>break</code>. In other words, when the condition becomes <code>False</code> (with <code>while</code>) or when the iterator is exhausted (with <code>for</code>).</p>
  
  <p>Does this loop-else construct originate from another language (either theoretical or actually implemented)?  Has it been taken up in any newer language?</p>
  
  <p>Maybe I should ask the former of Guido, but surely he is too busy for such a futile inquiry. ;-)</p>
  
  <p><em>Related discussion and examples:</em>
  <a href="https://stackoverflow.com/questions/685758/pythonic-ways-to-use-else-in-a-for-loop">Pythonic ways to use ‘else’ in a for loop</a></p>