> > So this is not likely to ever work in IronPython or Jython. > > There are no stability guarantees about the byte-code generated by > CPython, so you may be chasing a moving target here. > > You ought to test your code before posting, because I've tried it in > 3.5, 3.7 and 3.8 and I get the same error each time: > > TypeError: Expected maxsize to be an integer or None > > which is a simple error in the call to the lru_cache decorator. After > fixing that, I tried it again in 3.7 and I get this: > > >>> x = 1 > >>> nameof.nameof(x) > Traceback (most recent call last): > File "<stdin>", line 1, in <module> > File "/home/srv-steve/python/nameof.py", line 7, in nameof > return _nameof(frame.f_code, frame.f_lasti) > File "/home/srv-steve/python/nameof.py", line 17, in _nameof > assert current_instruction.opname == "CALL_FUNCTION" > AssertionError > > > -- > Steven >
I wasn't expecting the Spanish Inquisition! This is not meant for serious use, just to help people interested in trying out the proposed functionality. But if you want to be serious, here you go: https://github.com/alexmojaki/nameof This is properly tested with CPython 3.4+ and PyPy3. It's basically the same as the original version, I just tweaked the assertion to allow 'method' calls like nameof.nameof that you did which I wasn't expecting. The bytecode hasn't changed so drastically across Python versions that this is unstable. Python 3.8 allows @lru_cache without arguments, I don't know why that didn't work for you. On Sat, Feb 1, 2020 at 4:32 AM <python-ideas-requ...@python.org> wrote: > Send Python-ideas mailing list submissions to > python-ideas@python.org > > To subscribe or unsubscribe via the World Wide Web, visit > https://mail.python.org/mailman3/lists/python-ideas.python.org/ > or, via email, send a message with subject or body 'help' to > python-ideas-requ...@python.org > > You can reach the person managing the list at > python-ideas-ow...@python.org > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Python-ideas digest..."Today's Topics: > > 1. Proposal for an additional type system (guenter-ho...@aon.at) > 2. Re: Proposal for an additional type system (Chris Angelico) > 3. Re: addition of "nameof" operator (Greg Ewing) > 4. Re: addition of "nameof" operator (Alex Hall) > 5. Re: addition of "nameof" operator (Steven D'Aprano) > 6. Re: addition of "nameof" operator (Christopher Barker) > > > > ---------- Forwarded message ---------- > From: guenter-ho...@aon.at > To: python-ideas@python.org > Cc: > Bcc: > Date: Fri, 31 Jan 2020 23:45:47 +0100 (CET) > Subject: [Python-ideas] Proposal for an additional type system > The types in most programming languages are only technical types. If a > variable has a type, you may know that it is of type integer or double, but > you don't know if it's a length or an area. > The types required are semantic types. > > stypes: > length > area > time > speed > scalar > > allowed expressions: > length = length > length + length : length > time = time > time + time : time > scalar * length : length > scalar * time : time > sqrt(area) : length > speed = speed > length / time : speed > > foo : time > bar : length > baz : length > > bar = 23 > baz = 42.3 > foo = 17.4 > speed'variable = (bar + baz) / foo > baz = length'5 > bar = length'foo > > Python's dynamic type checking remains. > > These type names are all user defined. A type name with a tick before an > expression means that this expression has the semantic type of the type > name. The function names in the allowed expressions statement don't need to > be names of existing functions. > > > > ---------- Forwarded message ---------- > From: Chris Angelico <ros...@gmail.com> > To: python-ideas <python-ideas@python.org> > Cc: > Bcc: > Date: Sat, 1 Feb 2020 10:22:13 +1100 > Subject: [Python-ideas] Re: Proposal for an additional type system > On Sat, Feb 1, 2020 at 10:06 AM <guenter-ho...@aon.at> wrote: > > > > The types in most programming languages are only technical types. If a > variable has a type, you may know that it is of type integer or double, but > you don't know if it's a length or an area. > > The types required are semantic types. > > > > stypes: > > length > > area > > time > > speed > > scalar > > > > allowed expressions: > > length = length > > length + length : length > > time = time > > time + time : time > > scalar * length : length > > scalar * time : time > > sqrt(area) : length > > speed = speed > > length / time : speed > > > > This doesn't need a dedicated type system. Those are actual types, > representing units - though you've omitted the actual units. Create a > system of classes with actual units, for instance: > > class Meter(int): > ... > > class Second(int): > ... > > Define the operations that are valid on each of these, and what they > return. Define the valid comparisons (for instance, 3 meters is not > less than 4 seconds, and that doesn't make sense). > > Python's normal type system is quite powerful, and can handle this > smoothly. > > (Once you've had a shot at building this yourself, poke around on PyPI > and see what already exists.) > > ChrisA > > > ---------- Forwarded message ---------- > From: Greg Ewing <greg.ew...@canterbury.ac.nz> > To: python-ideas@python.org > Cc: > Bcc: > Date: Sat, 01 Feb 2020 12:33:28 +1300 > Subject: [Python-ideas] Re: addition of "nameof" operator > On 1/02/20 6:15 am, Richard Damon wrote: > > One issue I am seeing is that x = nameof(foo.bar) is crossing the > > line between compile time and run time behaviors. The resultant > > string, “bar” needs to be generated at compile time, but the > > operation still needs to do a check at run-time to determine if that > > IS the right result, > > I don't think I would bother with the runtime check. This is > mostly going to be used in a context where you're writing out > the same thing again to get its value, e.g. > > print("The value of", nameof(foo.bar), "is", foo.bar) > > This can be translated to > > print("The value of", "bar", "is", foo.bar) > > and you'll still get an AttributeError if foo doesn't have > a bar attribute. > > -- > Greg > > > > ---------- Forwarded message ---------- > From: Alex Hall <alex.moj...@gmail.com> > To: python-ideas@python.org > Cc: > Bcc: > Date: Sat, 1 Feb 2020 01:52:38 +0200 > Subject: [Python-ideas] Re: addition of "nameof" operator > Here's a simple runtime implementation that doesn't require any > dependencies or source code access: > > import dis > import inspect > from functools import lru_cache > > > def nameof(_): > frame = inspect.currentframe().f_back > return _nameof(frame.f_code, frame.f_lasti) > > > @lru_cache > def _nameof(code, offset): > instructions = list(dis.get_instructions(code)) > (current_instruction_index, current_instruction), = ( > (index, instruction) > for index, instruction in enumerate(instructions) > if instruction.offset == offset > ) > assert current_instruction.opname == "CALL_FUNCTION" > name_instruction = instructions[current_instruction_index - 1] > assert name_instruction.opname.startswith("LOAD_") > return name_instruction.argrepr > > > def test(): > print(nameof(dis)) > print(nameof(dis.get_instructions)) > x = 1 > print(nameof(x)) > > > if __name__ == '__main__': > test() > > > > ---------- Forwarded message ---------- > From: "Steven D'Aprano" <st...@pearwood.info> > To: python-ideas@python.org > Cc: > Bcc: > Date: Sat, 1 Feb 2020 11:52:21 +1100 > Subject: [Python-ideas] Re: addition of "nameof" operator > On Sat, Feb 01, 2020 at 01:52:38AM +0200, Alex Hall wrote: > > > Here's a simple runtime implementation that doesn't require any > > dependencies or source code access: > > > > import dis > > So this is not likely to ever work in IronPython or Jython. > > There are no stability guarantees about the byte-code generated by > CPython, so you may be chasing a moving target here. > > You ought to test your code before posting, because I've tried it in > 3.5, 3.7 and 3.8 and I get the same error each time: > > TypeError: Expected maxsize to be an integer or None > > which is a simple error in the call to the lru_cache decorator. After > fixing that, I tried it again in 3.7 and I get this: > > >>> x = 1 > >>> nameof.nameof(x) > Traceback (most recent call last): > File "<stdin>", line 1, in <module> > File "/home/srv-steve/python/nameof.py", line 7, in nameof > return _nameof(frame.f_code, frame.f_lasti) > File "/home/srv-steve/python/nameof.py", line 17, in _nameof > assert current_instruction.opname == "CALL_FUNCTION" > AssertionError > > > -- > Steven > > > ---------- Forwarded message ---------- > From: Christopher Barker <python...@gmail.com> > To: "Steven D'Aprano" <st...@pearwood.info> > Cc: python-ideas@python.org > Bcc: > Date: Fri, 31 Jan 2020 18:28:09 -0800 > Subject: [Python-ideas] Re: addition of "nameof" operator > I am really confused by this whole thread: > > (I know this has all been said in this thread, but I’m summarizing to get > us on the same page for the following comments) > > Python has names, and it has values (objects, whatever) when we write > Python, we bind names to values with the = operator. (And other namespace > trickery). Some types of objects do have a __name__ attribute: classes, > functions created with def. > > But that name is only sometimes the same as the name(s) it might be bound > to in any given namespace. So what the heck is nameof() supposed to mean? A > few examples: > > >>> x = 5 > >>>nameof(x) > > OK, I suppose that’s “x” — but what is the point of that? You have to know > the name already. > > What about: > > y = 5 > x = 5 > (Or x = y) > > What is nameof(x) And nameof(y)? > > What about nameof(5)? > > Now: > > def fun(): > pass > > I suppose nameof(fun) is “fun”, but again, is that useful? > > And now: > > Fred = fun > > What’s nameof(Fred) > > If it’s “Fred” then again, useless. > > If it’s “fun” then what about x and y before? > > And: > > def fun(): > y = something > return y > > lst.append(fun()) > > nameof(lst[-1]) > > ???? > > In short, if it means “what is the name of this name” that seems > completely useless? > > If it means: what name is this object bound to in this namespace? Than I > can see how one might think that would be useful, but the answer could be: > > No name at all > More than one name > A name different than the object’s __name__ > > And then there is the question of the local vs global namespace, the list > goes on. > > This thread has been going on a while: > > What am I missing? > > -CHB > > > > > > > >> >> > -- > Christopher Barker, PhD > > Python Language Consulting > - Teaching > - Scientific Software Development > - Desktop GUI and Web Development > - wxPython, numpy, scipy, Cython > _______________________________________________ > 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/ >
_______________________________________________ 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/2PE5CDH3UBE7V5IRCFPVZEGI53EXDK4T/ Code of Conduct: http://python.org/psf/codeofconduct/
