<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Aug 18, 2015 at 12:30 PM, Tim Peters <span dir="ltr"><<a href="mailto:tim.peters@gmail.com" target="_blank">tim.peters@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":6o" class="a3s" style="overflow:hidden">[Guido]<br>
<span class="">>> Proposal: name the flag 'fold', reverse it's sense, and be done with it<br>
>> (then move on to PEP 500). So fold defaults to False.<br>
<br>
</span>[Alexander]<br>
<span class="">> I like "fold".  It is short, uses the word from the problem domain<br>
<br>
</span>I suppose I'm being dense, but what does fold=True mean?  Clearly it<br>
means "this is an ambiguous time" - but _which_ one is intended?  The<br>
earlier or the later?</div></blockquote></div><br>I had the same objection when Guido first mentioned "fold" as a side remark in his earlier comments.  I agree that unlike "first", "fold" requires some additional knowledge to realize that fold=False means the first and fold=True means the second of the two moments.</div><div class="gmail_extra"><br></div><div class="gmail_extra">The diagram is the mnemonic, not a proof that fold=True means the second:</div><div class="gmail_extra"><br></div><div class="gmail_extra"><br></div><div class="gmail_extra"><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><font face="monospace, monospace">        fold=True</font></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><font face="monospace, monospace">          +---+</font></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><font face="monospace, monospace">           \  |</font></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><font face="monospace, monospace">            \ |</font></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><span style="font-family:monospace,monospace">fold=False   \| fold=False</span></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><font face="monospace, monospace">------------->+-----------</font></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><font face="monospace, monospace"><br></font></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><span style="color:rgb(34,34,34);font-size:small">You can draw a reversed diagram and argue for the opposite meaning</span><font face="monospace, monospace"><br></font></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><font face="monospace, monospace"><br></font></div><div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><font face="monospace, monospace">        fold=True</font></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><font face="monospace, monospace">          +---+</font></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><font face="monospace, monospace">          |  / </font></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><font face="monospace, monospace">          | /  </font></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><span style="font-family:monospace,monospace">fold=False|/  fold=False</span></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><font face="monospace, monospace">--------->+-------------</font></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><font face="monospace, monospace"><br></font></div><div>For some reason, however, the first diagram feels more natural.<br></div></div><div><br></div><div>Note that when it comes to timekeeping, things are very culture-dependent.  For example, I was told that for Chinese, future is behind your back because you can see the past, but not the future.  Thus, while it seems natural for us that "first" is earlier than the "second", it may as well be the opposite for other people.  Another example that gets me confused in English usage is to "advance the time".  Does it mean to move to a later or to the earlier time?  And how does it match the "in advance" idiom?</div><div><br></div><div>I think it is actually better to use a less loaded word "fold" and explain that we consider the earlier of the two ambiguous times to be "regular" and the later to be "in the fold" than hope that users understand what "first" means without explanation.</div></div></div>