Showing content from http://mail.python.org/pipermail/python-dev/attachments/20150911/6091e83f/attachment.html below:
<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Sep 11, 2015 at 8:56 PM, Random832 <span dir="ltr"><<a href="mailto:random832@fastmail.com" target="_blank">random832@fastmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><span class="">Alexander Belopolsky <<a href="mailto:alexander.belopolsky@gmail.com">alexander.belopolsky@gmail.com</a>> writes:<br>
> There is no "earlier" or "later". There are "lesser" and "greater"<br>
> which are already defined for all pairs of aware datetimes. PEP 495<br>
> doubles the set of possible datetimes<br>
<br>
</span>That depends on what you mean by "possible".<br></blockquote><div><br></div><div>What exactly depends on the meaning of  "possible"? In this context "possible" means "can appear in a Python program."</div><div><br></div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<span class=""><br>
> and they don't fit in one<br>
> straight line anymore. The whole point of PEP 495 is to introduce a<br>
> "fold" in the timeline.<br>
<br>
</span>That doesn't make sense. Within a given timezone, any given moment of<br>
UTC time (which is a straight line [shut up, no leap seconds here]) maps<br>
to only one local time. The point of PEP 495 seems to be to eliminate<br>
the cases where two UTC moments map to the same aware local time.<br></blockquote><div><br></div><div>Yes, but it does that at the cost of introducing the second local "01:30" which is "later" than the first "01:40" while "obviously" (and according to the current datetime rules) Â "01:30" < "01:40".</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<br>
Out of curiosity, can "fold" ever be any value other than 0 or 1?<br></blockquote><div><br></div><div>Thankfully, no. </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<span class=""><br>
> Yes, but are we willing to accept that datetimes have only partial<br>
> order?<br>
<br>
</span>I apparently haven't been following the discussion closely enough to<br>
understand how this can possibly be the case outside cases I assumed it<br>
already was (naive vs aware comparisons being invalid).</blockquote><div><br></div><div>Local times that fall in the spring-forward gap cannot be ordered interzone even without PEP 495.</div><div>Â </div></div></div></div>
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4