From 0f20821c01ad766723a617da42e783cb05872383 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bartosz=20S=C5=82awecki?= Date: Sun, 12 Jan 2025 03:16:15 +0100 Subject: [PATCH] Glossary: Improve gradual form and gradual type definitions --- docs/spec/glossary.rst | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/docs/spec/glossary.rst b/docs/spec/glossary.rst index f17ffb61..593a56d4 100644 --- a/docs/spec/glossary.rst +++ b/docs/spec/glossary.rst @@ -65,7 +65,11 @@ This section defines a few terms that may be used elsewhere in the specification primary gradual form is :ref:`Any`. The ellipsis (``...``) is a gradual form in some, but not all, contexts. It is a gradual form when used in a :ref:`Callable` type, and when used in ``tuple[Any, ...]`` (but not in - other :ref:`tuple ` types). + other :ref:`tuple ` types). Types that contain gradual forms do not participate + in the :term:`subtype` relation, but they do participate in + :term:`consistency ` and :term:`assignability `. + They can be :term:`materialized ` to a more static, or fully static, + type. See :ref:`type-system-concepts`. gradual type All types in the Python type system are "gradual". A gradual type may be @@ -73,11 +77,7 @@ This section defines a few terms that may be used elsewhere in the specification contains ``Any`` or another :term:`gradual form`. A gradual type does not necessarily represent a single set of possible runtime values; instead it can represent a set of possible static types (a set of possible sets of - possible runtime values). Gradual types do not participate in the - :term:`subtype` relation, but they do participate in :term:`consistency - ` and :term:`assignability `. They can be - :term:`materialized ` to a more static, or fully static, - type. See :ref:`type-system-concepts`. + possible runtime values). inline Inline type annotations are annotations that are included in the