On Mon, Jun 18, 2018 at 9:17 AM Rick Johnson <rantingrickjohn...@gmail.com> wrote: > > Chris Angelico wrote: > [...] > > What was the quote before that? > > > > > "Type-hint comments" would allow: > > > (3) and those who utterly *HATE* them, to write a simpl[e] > > > little function which will strip them from any and all > > > source code they might be forced to maintain. > > > > Put up or shut up. Write something that strips all type > > hint comments. > > "Type-hint comments" don't exist yet. They are only > theoretical at this point. Now stop distracting, and let's > see your code!
Uh, yes, they do. They're defined in PEP 484, and Mypy uses them for type-checking Python 2 code, where the annotations don't exist. https://mypy.readthedocs.io/en/stable/python2.html?highlight=comment#type-checking-python-2-code -- https://mail.python.org/mailman/listinfo/python-list
