[docs] [issue32769] Add 'annotations' to the glossary

Ivan Levkivskyi report at bugs.python.org
Tue May 15 08:16:52 EDT 2018

Ivan Levkivskyi <levkivskyi at gmail.com> added the comment:

What I think Guido might mean is that some type annotations are not strictly speaking type hints. For example, `dataclasses.InitVar`, is not really a type, it is just a way to indicate how constructor should be constructed. I could see similar potential features in future (like `typing.Final` discussed recently). Even `typing.ClassVar` I would say is not a type but an access qualifier.

Also for me the two terms: annotations and hints are a bit orthogonal, first is a syntax, while second is semantics. I think Guido is right that we should say something like (approximately) `annotation is a syntax to express type hints and other related metadata` or similar. The current formulation seems a bit too restrictive.


Python tracker <report at bugs.python.org>

More information about the docs mailing list