<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Tue, Nov 21, 2017 at 3:31 AM, Steven D'Aprano <span dir="ltr"><<a href="mailto:steve@pearwood.info" target="_blank">steve@pearwood.info</a>></span> wrote:<br><div><br></div><div><snip></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> The<br>
interesting (but is it useful?) concept is constant identifiers which<br>
cannot be re-bound or re-assigned once they are set the first time.<br></blockquote><div><br></div><div>This would actually be a substantial shift in what Python is about -- currently the concept of type is all about values, not names -- there are various rules about scope, and they can be adjusted with global and nonlocal, but it's only about scope -- a name is still a name, and can be bound to any type of object, etc.</div><div><br></div><div>static languages, on the other hand often (always) assign type to the name itself -- so adding constants and the like makes sense. But changing the property of a name (this name can not be rebound) is a big shift in what names are about in Python -- and I don't think a good one.</div><div><br></div><div>And what's the use-case, really? beyond the use case for all sorts of static typing...</div><div><br></div><div>in case it's not obvious: -1</div><div><br></div><div>-CHB</div></div><div><br></div><div><br></div><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><br>Christopher Barker, Ph.D.<br>Oceanographer<br><br>Emergency Response Division<br>NOAA/NOS/OR&R            (206) 526-6959   voice<br>7600 Sand Point Way NE   (206) 526-6329   fax<br>Seattle, WA  98115       (206) 526-6317   main reception<br><br><a href="mailto:Chris.Barker@noaa.gov" target="_blank">Chris.Barker@noaa.gov</a></div>
</div></div>