<div dir="auto"><div><br><br><div class="gmail_quote"><div dir="ltr">On Thu, May 24, 2018, 11:47 Alexander Belopolsky <<a href="mailto:alexander.belopolsky@gmail.com" target="_blank" rel="noreferrer">alexander.belopolsky@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">> But I do have a mathematics background, and I don't remember ever seeing <br>> "for x = value" used in the sense you mean.<br><br><div>That's so because in mathematics, "for" is spelled ":" as in</div><div><br></div><div><span style="font-size:14px;font-variant-ligatures:normal"> </span><span class="m_-3669031509620252955m_-7918455835356292325gmail-texhtml" style="font-feature-settings:'lnum' 1,'tnum' 1,'kern' 0;font-variant-numeric:lining-nums tabular-nums;font-family:"Nimbus Roman No9 L","Times New Roman",Times,serif;font-size:16.52px;line-height:1;white-space:nowrap;font-variant-ligatures:normal">{2<i>a</i> : <i>a</i>∈<b>Z</b>}</span><br></div><div><span class="m_-3669031509620252955m_-7918455835356292325gmail-texhtml" style="font-feature-settings:'lnum' 1,'tnum' 1,'kern' 0;font-variant-numeric:lining-nums tabular-nums;font-family:"Nimbus Roman No9 L","Times New Roman",Times,serif;font-size:16.52px;line-height:1;white-space:nowrap;font-variant-ligatures:normal"><br></span></div><div><span>If you can read the above, you should not have trouble reading</span><br></div><div><span class="m_-3669031509620252955m_-7918455835356292325gmail-texhtml" style="font-feature-settings:'lnum' 1,'tnum' 1,'kern' 0;font-variant-numeric:lining-nums tabular-nums;font-family:"Nimbus Roman No9 L","Times New Roman",Times,serif;font-size:16.52px;line-height:1;white-space:nowrap;font-variant-ligatures:normal"><span style="font-family:sans-serif;font-size:13px;white-space:normal"><br></span></span></div><div><span class="m_-3669031509620252955m_-7918455835356292325gmail-texhtml" style="font-feature-settings:'lnum' 1,'tnum' 1,'kern' 0;font-variant-numeric:lining-nums tabular-nums;font-family:"Nimbus Roman No9 L","Times New Roman",Times,serif;font-size:16.52px;line-height:1;white-space:nowrap;font-variant-ligatures:normal"><span style="font-family:sans-serif;white-space:normal;font-size:14px;font-variant-ligatures:normal"> </span><span class="m_-3669031509620252955m_-7918455835356292325gmail-texhtml" style="font-feature-settings:'lnum' 1,'tnum' 1,'kern' 0;font-variant-numeric:lining-nums tabular-nums;font-size:16.52px;line-height:1;font-variant-ligatures:normal">{2<i>a</i> + <i>b</i> : <i>a</i>∈<b>Z </b>:<b> </b><i>b = </i>1}</span></span></div></div></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Inverted "A" is "for all", and colon means "such that".  It may be acceptable somewhere to use a colon as you do, but the lone colon unambiguously is "such that" when constructing sets.  I never once saw colon used this way, and would be interested to see it in a proper math paper to correct my world view.</div><div dir="auto"><br></div><div dir="auto">"for" only reads as "such that" as:</div><div dir="auto">"A such that x = 1"</div><div dir="auto">"A, for x = 1" which sounds a bit Shakespearian and is definitely not common.</div><div dir="auto"><br></div><div dir="auto">standard math:</div><div dir="auto">"2a plus b for all integers such that b is 1."</div><div dir="auto">or</div><div dir="auto">"2a plus b for each integer such that b is 1"</div><div dir="auto"><br></div><div dir="auto">using "for" as ":":</div><div dir="auto">"2a plus b for a in integers for b in 1"</div><div dir="auto">or</div><div dir="auto">"2a plus b for a eauals integers for b eauals 1"</div><div dir="auto">or</div><div dir="auto">"2a plus b for all a in integers for all b in 1"</div><div dir="auto"><br></div><div dir="auto">Understandable, but I would get zero point on my homework for those, they are correct.</div><div dir="auto"><br></div><div dir="auto">In the context of math in general, ":=" makes more sense, and is actual math notation for assignment:</div><div dir="auto"><br></div><div dir="auto"><a href="http://mathworld.wolfram.com/Colon.html" target="_blank" rel="noreferrer">http://mathworld.wolfram.com/Colon.html</a><br></div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto">ignoring math:</div><div dir="auto"><br></div><div dir="auto">I'm kind of fine with nudging the meaning of "for" as you describe to be assignment, it's close enough, such that it's not a long leap.  I think this point is the best case for "for",  but I don't think being the only language to do this is great, and I usually don't care about language similarities.   I lack breadth, however, so please correct me here.</div><div dir="auto"><br></div><div dir="auto">However, I cannot say this is superior to ":=" based on the same logic, as ":=" achieves the same ends with less semantic confusion, typing, and uses earlier indication of assignment.</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto">And please note that making "for" ambiguous when there is already the ambiguity in post fix notation makes the spelling less desirable to me. In this spelling, for one assignment, there are two ambiguities that must be resolved: the assigned name and the meaning of "for", though the latter is cleared up quickly.  This small ambiguity is still there and I don't see a reason to introduce it.</div><div dir="auto"><br></div><div dir="auto">Thanks</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><span class="m_-3669031509620252955m_-7918455835356292325gmail-texhtml" style="font-feature-settings:'lnum' 1,'tnum' 1,'kern' 0;font-variant-numeric:lining-nums tabular-nums;font-family:"Nimbus Roman No9 L","Times New Roman",Times,serif;font-size:16.52px;line-height:1;white-space:nowrap;font-variant-ligatures:normal"><span style="font-family:sans-serif;font-size:13px;white-space:normal"><br></span></span></div></div>
_______________________________________________<br>
Python-ideas mailing list<br>
<a href="mailto:Python-ideas@python.org" rel="noreferrer noreferrer" target="_blank">Python-ideas@python.org</a><br>
<a href="https://mail.python.org/mailman/listinfo/python-ideas" rel="noreferrer noreferrer noreferrer" target="_blank">https://mail.python.org/mailman/listinfo/python-ideas</a><br>
Code of Conduct: <a href="http://python.org/psf/codeofconduct/" rel="noreferrer noreferrer noreferrer" target="_blank">http://python.org/psf/codeofconduct/</a><br>
</blockquote></div></div></div>