funkcja anonimowa

W programowaniu, funkcja anonimowa (również literał funkcyjny lub lambda-abstrakcja) jest definicją funkcji, która nie jest powiązana z identyfikatorem. Funkcje anonimowe są często: 1. * argumentami przekazywanymi funkcjom wyższego rzędu, lub 2. * używane do budowania wyniku funkcji wyższego rzędu, która musi zwracać funkcję. Jeśli funkcja jest używana tylko jeden raz lub ograniczoną liczbę razy, użycie funkcji anonimowej może być syntaktycznie wygodniejsze niż użycie funkcji nazwanej. Funkcje anonimowe są wszechobecne w funkcyjnych językach programowania i innych językach z obecnymi funkcjami pierwszego rzędu, gdzie pełnią taką samą rolę dla typu funkcji jak literały dla innych typów typów danych. Funkcje anonimowe biorą początek w pracach Alonzo Churcha nad wynalezieniem rachunku lambda w 1936 roku (przed pojawieniem się komputerów elektronicznych), w którym wszystkie funkcje są anonimowe. Przejawia się to między innymi tym, że w niektórych językach programowania, funkcje anonimowe są tworzone faktycznie przez użycie słowa kluczowego lambda. Ponadto funkcje anonimowe są często nazywane lambdami lub lambda-abstrakcjami. Funkcje anonimowe to jedna z charakterystycznych cech języków programowania od czasu powstania języka Lisp w 1958 roku i coraz większa liczba nowoczesnych języków programowania wspiera funkcje anonimowe. Funkcje anonimowe są rodzajem funkcji zagnieżdżonych, zapewniając dostęp do zmiennych w zasięgu funkcji zawierającej (zmiennych nielokalnych). Oznacza to, że anonimowe funkcje powinny być implementowane z wykorzystaniem domknięć. W przeciwieństwie do nazwanych funkcji zagnieżdżonych, nie mogą one być rekurencyjne bez zastosowania operatora punktu stałego (również znanego jako anonimowe mocowanie lub anonimowa rekursja) lub przypisywania ich do nazwy.