Reply to Richard Damon:
The values can be changed. It can be mutated (if mutable). This idea suggests
we can't reassign anything to the name. Suppose,
constant x = ["List"]
x.append("something") # OK
x = [] # Error
Think of it as a const *ptr. Don't think of it as const *ptr const.
_______________________________________________
Python-ideas mailing list -- python-ideas@python.org
To unsubscribe send an email to python-ideas-le...@python.org
https://mail.python.org/mailman3/lists/python-ideas.python.org/
Message archived at
https://mail.python.org/archives/list/python-ideas@python.org/message/IGGDFIPNS3IQ5HRHMQGRGI6V7BB2VBXX/
Code of Conduct: http://python.org/psf/codeofconduct/
