<div dir="ltr">On 21 November 2017 at 12:12, Stéfane Fermigier <span dir="ltr"><<a href="mailto:sf@fermigier.com" target="_blank">sf@fermigier.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">That's one way to do it with no changes to the language, though syntaxically I find it lacking a bit of elegance (maybe a matter of getting accustomed with it?).<div><br></div><div>Also, I'm not sure "Final" really conveys what it means (at first glance, I thought it was about immutability, not constantness).</div><div><br></div><div>Maybe "Const" would be better in this context ? (Or maybe you've discussed this question already and come to the conclusion that "Final" is better for some reason?)<span class="gmail-HOEnZb"></span></div></div></blockquote></div></div><div class="gmail_extra"><br></div><div class="gmail_extra">It is not set in stone, but it looks like most people like Final (although the initial proposal was Const, see <a href="https://github.com/python/mypy/issues/1214">https://github.com/python/mypy/issues/1214</a>)<br></div><div class="gmail_extra"><br></div><div class="gmail_extra">--</div><div class="gmail_extra">Ivan</div><div class="gmail_extra"><br></div><div class="gmail_extra"><br></div></div>