syntax difference

[Ian Kelly]

On Mon, Jun 18, 2018 at 9:17 AM Rick Johnson
<rantingrickjohnson at 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