PEP 718

Una propuesta de mejora de Python (PEP) que escribí junto a James Hilton-Balfe, patrocinada por Guido van Rossum, el creador de Python. Una PEP es la forma de proponer y debatir cambios en el lenguaje. Permite subscribir funciones, de modo que a una función genérica se le pueden dar sus parámetros de tipo explícitamente, igual que a una clase genérica:

def my_list[T](arr: Iterable[T]) -> list[T]: ...

my_list[int]()  # hoy: TypeError

Ayuda cuando la inferencia de tipos no puede deducir el tipo, hace coherentes funciones y clases, y deja la puerta abierta a futuras mejoras como la monomorfización. Estado: borrador, para Python 3.15.