PEP 3107 (anotaciones de funciones)

PEP 572 - Anotaciones de funciones

Anotación a la norma

Justificación

Funciones básicas de anotación

1. Las anotaciones para parámetros y valores de retorno de funciones son completamente opcionales.
2. Las anotaciones no son más que una forma de asociar expresiones arbitrarias con diferentes partes de una función en tiempo de compilación.
   
   Python en sí no presta atención a las anotaciones. Lo único es que le permite acceder a ellos, que se describe en la sección "Acceso a las anotaciones de funciones" a continuación.
   
   Las anotaciones solo tienen sentido cuando son interpretadas por bibliotecas de terceros. Pueden hacer lo que quieran con anotaciones de funciones. Por ejemplo, una biblioteca puede usar anotaciones de cadena para proporcionar datos de referencia mejorados, por ejemplo:
   
   

   def compile(source: "something compilable",
               filename: "where the compilable thing comes from",
               mode: "is this a single statement or a suite?"):
       ...

   
   Otra biblioteca puede usar la función de Python y las anotaciones de método para verificar la coincidencia de tipos. Esta biblioteca puede usar anotaciones para mostrar qué tipos de datos de entrada espera y qué tipo de datos devolverá. Quizás será algo como esto:
   
   

   def haul(item: Haulable, *vargs: PackAnimal) -> Distance:
       ...

   
   Repetimos una vez más: las anotaciones de ninguno de los ejemplos en sí mismas tienen ningún significado. Adquieren un significado real solo en combinación con bibliotecas de terceros.
   
3. Como se desprende del párrafo 2, este PEP no intenta introducir ningún mecanismo estándar para procesar anotaciones, incluso para los tipos incorporados. Todo este trabajo se asigna a bibliotecas de terceros.

Sintaxis

Parámetros

def foo (a: , b:  = 5):
    ...

def foo(*args: expression, **kwargs: expression):
    ...

def foo((x1, y1: expression),
        (x2: expression, y2: expression)=(None, None)):
    ...

Valores de retorno

def sum() -> expression:
    ...

decorator: '@' dotted_name [ '(' [arglist] ')' ] NEWLINE
decorators: decorator+
funcdef: [decorators] 'def' NAME parameters ['->' test] ':' suite
parameters: '(' [typedargslist] ')'
typedargslist: ((tfpdef ['=' test] ',')*
                ('*' [tname] (',' tname ['=' test])* [',' '**' tname]
                 | '**' tname)
                | tfpdef ['=' test] (',' tfpdef ['=' test])* [','])
tname: NAME [':' test]
tfpdef: tname | '(' tfplist ')'
tfplist: tfpdef (',' tfpdef)* [',']

Lambdas

1. Esto violaría la compatibilidad con versiones anteriores.
2. Las lambdas son neutrales y anónimas por definición.
3. Las lambdas siempre se pueden reescribir como funciones

Obtenga acceso a anotaciones de funciones

def foo (a: 'x', b: 5 + 6, c: list) -> max (2, 9):
    ...

{'a': 'x',
 'b': 11,
 'c': list,
 'return': 9}

Casos de uso

• Proporcionar información de tipo
  • Verificación de tipo
  • Consejos IDE sobre tipos de argumentos esperados y devueltos
  • Sobrecarga de funciones / funciones genéricas [aprox. la sobrecarga de funciones es popular en otros idiomas y consiste en la existencia de varias funciones con los mismos nombres, pero al mismo tiempo, el número de parámetros aceptados por ellos varía]
  • Puentes entre diferentes lenguajes de programación
  • Adaptación
  • Funciones lógicas predicadas
  • Asignación de una consulta de base de datos
  • Clasificación de parámetros RPC [aprox. Marshaling es el proceso de convertir la información almacenada en la RAM en un formato adecuado para el almacenamiento o la transmisión. RPC - Llamada a procedimiento remoto]
• Proporcionar otra información
  • Documentación de parámetros y valores de retorno

Biblioteca estándar

Pydoc e inspeccionar módulos

Enlace a otras PEP

Objetos de firma de función

Implementación

Ofertas rechazadas

• BDFL [. ] , , : « »
• stdlib , , . .
• , , .
• A pesar de una discusión adicional, se decidió no estandarizar el mecanismo para la interacción de la anotación. Tal acuerdo en esta etapa sería prematuro. Queremos permitir que estos acuerdos se desarrollen orgánicamente, en función de una situación real, y no tratar de obligar a todos a utilizar algún tipo de esquema artificial.