Re:Streams: a new general purpose data structure in Redis
by ihattendorf on Monday October 02, 2017 @02:13PM
(#15386325)
What about regions that treat the comma as a decimal separator? I agree with the other commenter that this is no different than using periods in IPv4 addresses.
[ Parent
| on HN ]
Re:Streams: a new general purpose data structure in Redis
by IanCal on Tuesday October 03, 2017 @05:56AM
(#15391290)
> What about regions that treat the comma as a decimal separator?
A good reason not to change it from a period to a comma, not really relevant to whether to change it from a period to something else.
> I agree with the other commenter that this is no different than using periods in IPv4 addresses.
IP addresses have no useful concept of "before" or "after", whereas these do.
Re:Streams: a new general purpose data structure in Redis
by anyfoo on Monday October 02, 2017 @08:38PM
(#15389149)
As a member of such a region, I suspect that those regions a well aware that the prevalent notation throughout programming uses '.' as a decimal separator. IPv4 addresses usually have 4 components and do not have an inherently fractional unit as their first component.
Re:Streams: a new general purpose data structure in Redis
by mijamo on Tuesday October 03, 2017 @05:50AM
(#15391275)
Disagree. '.' is used for version numbers everywhere, even when it's only 2 components (ex: Wordpress versioning, Django etc.) and it seems pretty clear that 1.11 > 1.2 there.
Once the specification is stated clearly as it is right now it is not a problem.
Another symbol could be used (for instance #) but I really don't see a need for that.