Función anónima

En programación informática , una función anónima ( literal de función , función lambda o bloque ) es una definición de función que no está vinculada a un identificador . Las funciones anónimas suelen ser argumentos que se pasan a funciones de orden superior o se utilizan para construir el resultado de una función de orden superior que necesita devolver una función. ^{[ 1 ]} Si la función se usa solo una vez, o un número limitado de veces, una función anónima puede ser sintácticamente más ligera que usar una función con nombre. Las funciones anónimas son omnipresentes en los lenguajes de programación funcional y otros lenguajes con funciones de primera clase , donde cumplen el mismo rol para el tipo de función que los literales para otros tipos de datos .

Las funciones anónimas tienen su origen en el trabajo de Alonzo Church y su invención del cálculo lambda , en el que todas las funciones son anónimas, en 1936, antes de la llegada de las computadoras electrónicas. ^{[ 2 ]} En varios lenguajes de programación, las funciones anónimas se introducen mediante la palabra clave `lambda` , y a menudo se las denomina lambdas o abstracciones lambda . Las funciones anónimas han sido una característica de los lenguajes de programación desde Lisp en 1958, y un número creciente de lenguajes de programación modernos las admiten.

Los nombres "abstracción lambda", "función lambda" y "expresión lambda" se refieren a la notación de abstracción de funciones en el cálculo lambda, donde la función usual${\displaystyle f(x)=M}$estaría escrito${\displaystyle (\lambda xM)}$y dónde${\displaystyle M}$es una expresión que utiliza${\displaystyle x}$. Compárese con la sintaxis de Python de .lambdax:M

El nombre "función flecha" se refiere al símbolo matemático " mapea a ",${\displaystyle x\mapsto M}$. Compárese con la sintaxis de JavaScript de . ^{[ 3 ]}x=>M

Las funciones anónimas pueden encapsular funcionalidades que no requieren ser nombradas y están destinadas a un uso a corto plazo o localizado. Algunos ejemplos notables incluyen cierres y currificación .

El uso de funciones anónimas es una cuestión de estilo. Nunca son la única forma de resolver un problema; cada función anónima podría definirse como una función con nombre y llamarse por su nombre. Las funciones anónimas suelen ofrecer una notación más breve que la definición de funciones con nombre. En lenguajes que no permiten la definición de funciones con nombre en ámbitos locales, las funciones anónimas pueden proporcionar encapsulación mediante un ámbito localizado; sin embargo, el código dentro del cuerpo de dichas funciones anónimas puede no ser reutilizable ni apto para pruebas independientes. Las funciones anónimas cortas y sencillas utilizadas en expresiones pueden ser más fáciles de leer y comprender que las funciones con nombre definidas por separado, aunque la falta de un nombre descriptivo puede reducir la legibilidad del código.

En algunos lenguajes de programación, las funciones anónimas se implementan comúnmente para propósitos muy específicos, como vincular eventos a funciones de devolución de llamada o instanciar la función para valores particulares, lo que puede ser más eficiente en un lenguaje de programación dinámico , más legible y menos propenso a errores que llamar a una función con nombre.

Los siguientes ejemplos están escritos en Python 3.

a : lista [ str ] = [ "casa" , "coche" , "bicicleta" ] a . ordenar ( clave = lambda x : len ( x )) imprimir ( a ) # imprime ['coche', 'bicicleta', 'casa']

lambda x : longitud ( x )

lambda arg1 , arg2 , arg3 , ... : < operación sobre los argumentos que devuelve un valor >

from typing import Callableagregar : Callable [[ int ], int ] = lambda a : a + a print ( add ( 20 )) # imprime 40

a : lista [ int | str ] = [ 10 , "número" , 11.2 ] a . ordenar ( clave = lambda x : x . __clase__ . __nombre__ ) imprimir ( a ) # imprime [11.2, 10, 'número']

def comp ( umbral : int ) -> Callable [[ int ], bool ]: return lambda x : x < umbral

func_a : Callable [[ int ], bool ] = comp ( 10 ) func_b : Callable [[ int ], bool ] = comp ( 20 )print ( func_a ( 5 ), func_a ( 8 ), func_a ( 13 ), func_a ( 21 )) # imprime True True False Falseprint ( func_b ( 5 ), func_b ( 8 ), func_b ( 13 ), func_b ( 21 )) # imprime True True True False

def divide ( x : int , y : int ) -> float : return x / ydef divisor ( d : int ) -> Callable [[ int ], float ]: return lambda x : divide ( x , d )mitad : Invocable [[ int ], float ] = divisor ( 2 ) tercero : Invocable [[ int ], float ] = divisor ( 3 )imprimir ( mitad ( 32 ), tercio ( 32 )) # imprime 16.0 10.666666666666666imprimir ( mitad ( 40 ), tercio ( 40 )) # imprime 20.0 13.333333333333334

a : lista [ int ] = [ 1 , 2 , 3 , 4 , 5 , 6 ] print ( lista ( mapa ( lambda x : x * x , a ))) # imprime [1, 4, 9, 16, 25, 36]

a : lista [ int ] = [ 1 , 2 , 3 , 4 , 5 , 6 ] print ([ x * x for x in a ]) # imprime [1, 4, 9, 16, 25, 36]

a : lista [ int ] = [ 1 , 2 , 3 , 4 , 5 , 6 ] print ( lista ( filtro ( lambda x : x % 2 == 0 , a ))) # imprime [2, 4, 6]

a : lista [ int ] = [ 1 , 2 , 3 , 4 , 5 , 6 ] print ([ x for x in a if x % 2 == 0 ]) # imprime [2, 4, 6]

a : lista [ int ] = [ 1 , 2 , 3 , 4 , 5 ] print ( functools . reduce ( lambda x , y : x * y , a )) # imprime 120

La siguiente es una lista de lenguajes de programación que admiten funciones anónimas sin nombre de forma total, parcial como alguna variante o que no las admiten en absoluto.

La siguiente tabla ilustra varios patrones comunes. Cabe destacar que lenguajes como C , Pascal y Object Pascal —que tradicionalmente no admiten funciones anónimas— son lenguajes de tipado estático . Sin embargo, los lenguajes de tipado estático pueden admitir funciones anónimas. Por ejemplo, los lenguajes ML son de tipado estático e incluyen funciones anónimas de forma fundamentalmente, y Delphi , un dialecto de Object Pascal , se ha extendido para admitir funciones anónimas, al igual que C++ (mediante el estándar C++11 ). En segundo lugar, los lenguajes que tratan las funciones como funciones de primera clase ( Dylan , Haskell , JavaScript , Lisp , ML , Perl , Python , Ruby , Scheme ) generalmente admiten funciones anónimas, de modo que las funciones se pueden definir y pasar con la misma facilidad que otros tipos de datos.

• Función de primera clase
• Definición de cálculo lambda

• Métodos anónimos: ¿cuándo deben usarse? (blog sobre funciones anónimas en Delphi)
• Compilación de expresiones Lambda: Scala vs. Java 8
• funciones anónimas de php funciones anónimas de php
• Funciones Lambda en varios lenguajes de programación
• Funciones en Go