Funkcja anonimowa (również literał funkcyjny lub lambda-abstrakcja) – definicja funkcji, która sama w sobie nie jest powiązana z identyfikatorem (chociaż może być przypisana do zmiennej).
Funkcje anonimowe mogą być"Higher order functions". learnyouahaskell.com: argumentami przekazywanymi funkcjom wyższego rzędu lub 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 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ą anonimoweFernandez, Maribel (2009), Models of Computation: An Introduction to Computability Theory, Undergraduate Topics in Computer Science, Springer Science & Business Media, p. 33, , The Lambda calculus ... was introduced by Alonzo Church in the 1930s as a precise notation for a theory of anonymous functions.