- Speedup
issubclass()
checks against simple runtime-checkable protocols by around 6% (backporting python/cpython#112717, by Alex Waygood). - Fix a regression in the implementation of protocols where
typing.Protocol
classes that were not marked as@runtime_checkable
would be unnecessarily introspected, potentially causing exceptions to be raised if the protocol had problematic members. Patch by Alex Waygood, backporting python/cpython#113401.
This feature release adds typing_extensions.ReadOnly
, as specified
by PEP 705, and makes various other improvements, especially to
@typing_extensions.deprecated()
.
There are no changes since 4.9.0rc1.
- Add support for PEP 705, adding
typing_extensions.ReadOnly
. Patch by Jelle Zijlstra. - All parameters on
NewType.__call__
are now positional-only. This means that the signature oftyping_extensions.NewType.__call__
now exactly matches the signature oftyping.NewType.__call__
. Patch by Alex Waygood. - Fix bug with using
@deprecated
on a mixin class. Inheriting from a deprecated class now raises aDeprecationWarning
. Patch by Jelle Zijlstra. @deprecated
now gives a better error message if you pass a non-str
argument to themsg
parameter. Patch by Alex Waygood.@deprecated
is now implemented as a class for better introspectability. Patch by Jelle Zijlstra.- Exclude
__match_args__
fromProtocol
members. Backport of python/cpython#110683 by Nikita Sobolev. - When creating a
typing_extensions.NamedTuple
class, ensure__set_name__
is called on all objects that define__set_name__
and exist in the values of theNamedTuple
class's class dictionary. Patch by Alex Waygood, backporting python/cpython#111876. - Improve the error message when trying to call
issubclass()
against aProtocol
that has non-method members. Patch by Alex Waygood (backporting python/cpython#112344, by Randolph Scholz).
No changes since 4.8.0rc1.
- Add
typing_extensions.Doc
, as proposed by PEP 727. Patch by Sebastián Ramírez. - Drop support for Python 3.7 (including PyPy-3.7). Patch by Alex Waygood.
- Fix bug where
get_original_bases()
would return incorrect results when called on a concrete subclass of a generic class. Patch by Alex Waygood (backporting python/cpython#107584, by James Hilton-Balfe). - Fix bug where
ParamSpec(default=...)
would raise aTypeError
on Python versions <3.11. Patch by James Hilton-Balfe
- Fix support for
TypedDict
,NamedTuple
andis_protocol
on PyPy-3.7 and PyPy-3.8. Patch by Alex Waygood. Note that PyPy-3.7 and PyPy-3.8 are unsupported by the PyPy project. The next feature release of typing-extensions will drop support for PyPy-3.7 and may also drop support for PyPy-3.8.
- This is expected to be the last feature release supporting Python 3.7, which reaches its end of life on June 27, 2023. Version 4.8.0 will support only Python 3.8.0 and up.
- Fix bug where a
typing_extensions.Protocol
class that had one or more non-callable members would raiseTypeError
whenissubclass()
was called against it, even if it defined a custom__subclasshook__
method. The correct behaviour -- which has now been restored -- is not to raiseTypeError
in these situations if a custom__subclasshook__
method is defined. Patch by Alex Waygood (backporting python/cpython#105976).
- Add
typing_extensions.get_protocol_members
andtyping_extensions.is_protocol
(backport of CPython PR #104878). Patch by Jelle Zijlstra. typing_extensions
now re-exports all names in the standard library'styping
module, except the deprecatedByteString
. Patch by Jelle Zijlstra.- Due to changes in the implementation of
typing_extensions.Protocol
,typing.runtime_checkable
can now be used ontyping_extensions.Protocol
(previously, users had to usetyping_extensions.runtime_checkable
if they were usingtyping_extensions.Protocol
). - Align the implementation of
TypedDict
with the implementation in the standard library on Python 3.9 and higher.typing_extensions.TypedDict
is now a function instead of a class. The private functions_check_fails
,_dict_new
, and_typeddict_new
have been removed.is_typeddict
now returnsFalse
when called withTypedDict
itself as the argument. Patch by Jelle Zijlstra. - Declare support for Python 3.12. Patch by Jelle Zijlstra.
- Fix tests on Python 3.13, which removes support for creating
TypedDict
classes through the keyword-argument syntax. Patch by Jelle Zijlstra. - Fix a regression introduced in v4.6.3 that meant that
issubclass(object, typing_extensions.Protocol)
would erroneously raiseTypeError
. Patch by Alex Waygood (backporting the CPython PR python/cpython#105239). - Allow
Protocol
classes to inherit fromtyping_extensions.Buffer
orcollections.abc.Buffer
. Patch by Alex Waygood (backporting python/cpython#104827, by Jelle Zijlstra). - Allow classes to inherit from both
typing.Protocol
andtyping_extensions.Protocol
simultaneously. Since v4.6.0, this causedTypeError
to be raised due to a metaclass conflict. Patch by Alex Waygood. - Backport several deprecations from CPython relating to unusual ways to
create
TypedDict
s andNamedTuple
s. CPython PRs #105609 and #105780 by Alex Waygood;typing_extensions
backport by Jelle Zijlstra.- Creating a
NamedTuple
using the functional syntax with keyword arguments (NT = NamedTuple("NT", a=int)
) is now deprecated. - Creating a
NamedTuple
with zero fields using the syntaxNT = NamedTuple("NT")
orNT = NamedTuple("NT", None)
is now deprecated. - Creating a
TypedDict
with zero fields using the syntaxTD = TypedDict("TD")
orTD = TypedDict("TD", None)
is now deprecated.
- Creating a
- Fix bug on Python 3.7 where a protocol
X
that had a membera
would not be considered an implicit subclass of an unrelated protocolY
that only has a membera
. Where the members ofX
are a superset of the members ofY
,X
should always be considered a subclass ofY
iffY
is a runtime-checkable protocol that only has callable members. Patch by Alex Waygood (backporting CPython PR python/cpython#105835).
- Fix a regression introduced in v4.6.0 in the implementation of
runtime-checkable protocols. The regression meant
that doing
class Foo(X, typing_extensions.Protocol)
, whereX
was a class that hadabc.ABCMeta
as its metaclass, would then cause subsequentisinstance(1, X)
calls to erroneously raiseTypeError
. Patch by Alex Waygood (backporting the CPython PR python/cpython#105152). - Sync the repository's LICENSE file with that of CPython.
typing_extensions
is distributed under the same license as CPython itself. - Skip a problematic test on Python 3.12.0b1. The test fails on 3.12.0b1 due to
a bug in CPython, which will be fixed in 3.12.0b2. The
typing_extensions
test suite now passes on 3.12.0b1.
- Fix use of
@deprecated
on classes with__new__
but no__init__
. Patch by Jelle Zijlstra. - Fix regression in version 4.6.1 where comparing a generic class against a
runtime-checkable protocol using
isinstance()
would causeAttributeError
to be raised if using Python 3.7.
- Change deprecated
@runtime
to formal API@runtime_checkable
in the error message. Patch by Xuehai Pan. - Fix regression in 4.6.0 where attempting to define a
Protocol
that was generic over aParamSpec
or aTypeVarTuple
would causeTypeError
to be raised. Patch by Alex Waygood.
-
typing_extensions
is now documented at https://typing-extensions.readthedocs.io/en/latest/. Patch by Jelle Zijlstra. -
Add
typing_extensions.Buffer
, a marker class for buffer types, as proposed by PEP 688. Equivalent tocollections.abc.Buffer
in Python 3.12. Patch by Jelle Zijlstra. -
Backport two CPython PRs fixing various issues with
typing.Literal
: python/cpython#23294 and python/cpython#23383. Both CPython PRs were originally by Yurii Karabas, and both were backported to Python >=3.9.1, but no earlier. Patch by Alex Waygood.A side effect of one of the changes is that equality comparisons of
Literal
objects will now raise aTypeError
if one of theLiteral
objects being compared has a mutable parameter. (Using mutable parameters withLiteral
is not supported by PEP 586 or by any major static type checkers.) -
Literal
is now reimplemented on all Python versions <= 3.10.0. Thetyping_extensions
version does not suffer from the bug that was fixed in python/cpython#29334. (The CPython bugfix was backported to CPython 3.10.1 and 3.9.8, but no earlier.) -
Backport CPython PR 26067 (originally by Yurii Karabas), ensuring that
isinstance()
calls on protocols raiseTypeError
when the protocol is not decorated with@runtime_checkable
. Patch by Alex Waygood. -
Backport several significant performance improvements to runtime-checkable protocols that have been made in Python 3.12 (see python/cpython#74690 for details). Patch by Alex Waygood.
A side effect of one of the performance improvements is that the members of a runtime-checkable protocol are now considered “frozen” at runtime as soon as the class has been created. Monkey-patching attributes onto a runtime-checkable protocol will still work, but will have no impact on
isinstance()
checks comparing objects to the protocol. See "What's New in Python 3.12" for more details. -
isinstance()
checks against runtime-checkable protocols now useinspect.getattr_static()
rather thanhasattr()
to lookup whether attributes exist (backporting python/cpython#103034). This means that descriptors and__getattr__
methods are no longer unexpectedly evaluated duringisinstance()
checks against runtime-checkable protocols. However, it may also mean that some objects which used to be considered instances of a runtime-checkable protocol on older versions oftyping_extensions
may no longer be considered instances of that protocol using the new release, and vice versa. Most users are unlikely to be affected by this change. Patch by Alex Waygood. -
Backport the ability to define
__init__
methods on Protocol classes, a change made in Python 3.11 (originally implemented in python/cpython#31628 by Adrian Garcia Badaracco). Patch by Alex Waygood. -
Speedup
isinstance(3, typing_extensions.SupportsIndex)
by >10x on Python <3.12. Patch by Alex Waygood. -
Add
typing_extensions
versions ofSupportsInt
,SupportsFloat
,SupportsComplex
,SupportsBytes
,SupportsAbs
andSupportsRound
. These have the same semantics as the versions from thetyping
module, butisinstance()
checks against thetyping_extensions
versions are >10x faster at runtime on Python <3.12. Patch by Alex Waygood. -
Add
__orig_bases__
to non-generic TypedDicts, call-based TypedDicts, and call-based NamedTuples. Other TypedDicts and NamedTuples already had the attribute. Patch by Adrian Garcia Badaracco. -
Add
typing_extensions.get_original_bases
, a backport oftypes.get_original_bases
, introduced in Python 3.12 (CPython PR python/cpython#101827, originally by James Hilton-Balfe). Patch by Alex Waygood.This function should always produce correct results when called on classes constructed using features from
typing_extensions
. However, it may produce incorrect results when called on someNamedTuple
orTypedDict
classes that usetyping.{NamedTuple,TypedDict}
on Python <=3.11. -
Constructing a call-based
TypedDict
using keyword arguments for the fields now causes aDeprecationWarning
to be emitted. This matches the behaviour oftyping.TypedDict
on 3.11 and 3.12. -
Backport the implementation of
NewType
from 3.10 (where it is implemented as a class rather than a function). This allows user-definedNewType
s to be pickled. Patch by Alex Waygood. -
Fix tests and import on Python 3.12, where
typing.TypeVar
can no longer be subclassed. Patch by Jelle Zijlstra. -
Add
typing_extensions.TypeAliasType
, a backport oftyping.TypeAliasType
from PEP 695. Patch by Jelle Zijlstra. -
Backport changes to the repr of
typing.Unpack
that were made in order to implement PEP 692 (backport of python/cpython#104048). Patch by Alex Waygood.
- Runtime support for PEP 702, adding
typing_extensions.deprecated
. Patch by Jelle Zijlstra. - Add better default value for TypeVar
default
parameter, PEP 696. Enables runtime check ifNone
was passed as default. Patch by Marc Mueller (@cdce8p). - The
@typing_extensions.override
decorator now sets the.__override__
attribute. Patch by Steven Troxler. - Fix
get_type_hints()
on cross-module inheritedTypedDict
in 3.9 and 3.10. Patch by Carl Meyer. - Add
frozen_default
parameter ondataclass_transform
. Patch by Erik De Bonte.
- Add
typing_extensions.Any
a backport of python 3.11's Any class which is subclassable at runtime. (backport from python/cpython#31841, by Shantanu and Jelle Zijlstra). Patch by James Hilton-Balfe (@Gobot1234). - Add initial support for TypeVarLike
default
parameter, PEP 696. Patch by Marc Mueller (@cdce8p). - Runtime support for PEP 698, adding
typing_extensions.override
. Patch by Jelle Zijlstra. - Add the
infer_variance
parameter toTypeVar
, as specified in PEP 695. Patch by Jelle Zijlstra.
- Add
typing_extensions.NamedTuple
, allowing for genericNamedTuple
s on Python <3.11 (backport from python/cpython#92027, by Serhiy Storchaka). Patch by Alex Waygood (@AlexWaygood). - Adjust
typing_extensions.TypedDict
to allow for genericTypedDict
s on Python <3.11 (backport from python/cpython#27663, by Samodya Abey). Patch by Alex Waygood (@AlexWaygood).
- Re-export
typing.Unpack
andtyping.TypeVarTuple
on Python 3.11. - Add
ParamSpecArgs
andParamSpecKwargs
to__all__
. - Improve "accepts only single type" error messages.
- Improve the distributed package. Patch by Marc Mueller (@cdce8p).
- Update
typing_extensions.dataclass_transform
to rename thefield_descriptors
parameter tofield_specifiers
and accept arbitrary keyword arguments. - Add
typing_extensions.get_overloads
andtyping_extensions.clear_overloads
, and add registry support totyping_extensions.overload
. Backport from python/cpython#89263. - Add
typing_extensions.assert_type
. Backport from bpo-46480. - Drop support for Python 3.6. Original patch by Adam Turner (@AA-Turner).
- Fix importing
typing_extensions
on Python 3.7.0 and 3.7.1. Original patch by Nikita Sobolev (@sobolevn).
- Runtime support for PEP 646, adding
typing_extensions.TypeVarTuple
andtyping_extensions.Unpack
. - Add interaction of
Required
andNotRequired
with__required_keys__
,__optional_keys__
andget_type_hints()
. Patch by David Cabot (@d-k-bo). - Runtime support for PEP 675 and
typing_extensions.LiteralString
. - Add
Never
andassert_never
. Backport from bpo-46475. ParamSpec
args and kwargs are now equal to themselves. Backport from bpo-46676. Patch by Gregory Beauregard (@GBeauregard).- Add
reveal_type
. Backport from bpo-46414. - Runtime support for PEP 681 and
typing_extensions.dataclass_transform
. Annotated
can now wrapClassVar
andFinal
. Backport from bpo-46491. Patch by Gregory Beauregard (@GBeauregard).- Add missed
Required
andNotRequired
to__all__
. Patch by Yuri Karabas (@uriyyo). - The
@final
decorator now sets the__final__
attribute on the decorated object to allow runtime introspection. Backport from bpo-46342. - Add
is_typeddict
. Patch by Chris Moradi (@chrismoradi) and James Hilton-Balfe (@Gobot1234).
- Fix broken sdist in release 4.0.0. Patch by Adam Turner (@AA-Turner).
- Fix equality comparison for
Required
andNotRequired
. Patch by Jelle Zijlstra (@jellezijlstra). - Fix usage of
Self
as a type argument. Patch by Chris Wesseling (@CharString) and James Hilton-Balfe (@Gobot1234).
- Starting with version 4.0.0, typing_extensions uses Semantic Versioning. See the README for more information.
- Dropped support for Python versions 3.5 and older, including Python 2.7.
- Simplified backports for Python 3.6.0 and newer. Patch by Adam Turner (@AA-Turner).
- Runtime support for PEP 673 and
typing_extensions.Self
. Patch by James Hilton-Balfe (@Gobot1234). - Runtime support for PEP 655 and
typing_extensions.Required
andNotRequired
. Patch by David Foster (@davidfstr).
The following non-exported but non-private names have been removed as they are unneeded for supporting Python 3.6 and newer.
- TypingMeta
- OLD_GENERICS
- SUBS_TREE
- HAVE_ANNOTATED
- HAVE_PROTOCOLS
- V_co
- VT_co
Prior to release 4.0.0 we did not provide a changelog. Please check the Git history for details.