<div dir="auto"><div><br><div class="gmail_extra"><br><div class="gmail_quote">On Jan 31, 2018 8:12 PM, "Nick Coghlan" <<a href="mailto:ncoghlan@gmail.com">ncoghlan@gmail.com</a>> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="quoted-text">On 1 February 2018 at 08:14, Eric V. Smith <<a href="mailto:eric@trueblade.com">eric@trueblade.com</a>> wrote:<br></div><div class="quoted-text">>>> print(f"In European format x is {x:,.2f}, in Indian format it is {x:,2,3.2f}")<br><br>
> This just seems too complicated to me, and is overgeneralizing. How many of<br>
> these different formats would ever really be used? Can you really expect<br>
> someone to remember what that means by looking at it?<br></div><div class="quoted-text">
<br>
</div>That's even more arbitrary and hard to interpret than listing out the<br>
grouping spec, though.<br>
<div class="quoted-text"></div></blockquote></div></div></div><div dir="auto"><br></div><div dir="auto">I suggested a single character, although my thought of backtick was different from Eric's of semicolon. Neither of them would be obvious, but rather "something to look up the first few times."</div><div dir="auto"><br></div><div dir="auto">There is a lot in the format mini-language that is "have to look up" though. A single character South Asian number delimiter style wouldn't be different from a lot of features of that DSL. Albeit, most of it seems intuitive after you've used it a while... The symbols are somewhat iconic.</div><div dir="auto"><br></div><div dir="auto">I think if we only cared about decimal digit groups (which is all I initially thought of), Nick's would be excessive generalization. However, when you think of also grouping hex, octal, and binary, there genuinely are several conventions and different useful presentations.</div><div dir="auto"><br></div><div dir="auto">So overall I do like Nick's approach better than my initial suggestion or Eric's one that is similar to mine.</div></div>