Menu
Home Explore People Places Arts History Plants & Animals Science Life & Culture Technology
On this page
Anonymous function
Function definition that is not bound to an identifier

In computer programming, an anonymous function (function literal, expression or block) is a function definition that is not bound to an identifier. Anonymous functions are often arguments being passed to higher-order functions or used for constructing the result of a higher-order function that needs to return a function. If the function is only used once, or a limited number of times, an anonymous function may be syntactically lighter than using a named function. Anonymous functions are ubiquitous in functional programming languages and other languages with first-class functions, where they fulfil the same role for the function type as literals do for other data types.

Anonymous functions originate in the work of Alonzo Church in his invention of the lambda calculus, in which all functions are anonymous, in 1936, before electronic computers. In several programming languages, anonymous functions are introduced using the keyword lambda, and anonymous functions are often referred to as lambdas or lambda abstractions. Anonymous functions have been a feature of programming languages since Lisp in 1958, and a growing number of modern programming languages support anonymous functions.

We don't have any images related to Anonymous function yet.
We don't have any YouTube videos related to Anonymous function yet.
We don't have any PDF documents related to Anonymous function yet.
We don't have any Books related to Anonymous function yet.
We don't have any archived web articles related to Anonymous function yet.

Names

The names "lambda abstraction", "lambda function", and "lambda expression" refer to the notation of function abstraction in lambda calculus, where the usual function f(x) = M would be written (λx.M), and where M is an expression that uses x. Compare to the Python syntax of lambda x: M.

The name "arrow function" refers to the mathematical "maps to" symbol, x ↦ M. Compare to the JavaScript syntax of x => M.3

Uses

Anonymous functions can be used for containing functionality that need not be named and possibly for short-term use. Some notable examples include closures and currying.

The use of anonymous functions is a matter of style. Using them is never the only way to solve a problem; each anonymous function could instead be defined as a named function and called by name. Anonymous functions often provide a briefer notation than defining named functions. In languages that do not permit the definition of named functions in local scopes, anonymous functions may provide encapsulation via localized scope, however the code in the body of such anonymous function may not be re-usable, or amenable to separate testing. Short/simple anonymous functions used in expressions may be easier to read and understand than separately defined named functions, though without a descriptive name they may be more difficult to understand.

In some programming languages, anonymous functions are commonly implemented for very specific purposes such as binding events to callbacks or instantiating the function for particular values, which may be more efficient in a Dynamic programming language, more readable, and less error-prone than calling a named function.

The following examples are written in Python 3.

Sorting

When attempting to sort in a non-standard way, it may be easier to contain the sorting logic as an anonymous function instead of creating a named function. Most languages provide a generic sort function that implements a sort algorithm that will sort arbitrary objects. This function usually accepts an arbitrary function that determines how to compare whether two elements are equal or if one is greater or less than the other.

Consider this Python code sorting a list of strings by length of the string:

>>> a = ['house', 'car', 'bike'] >>> a.sort(key=lambda x: len(x)) >>> a ['car', 'bike', 'house']

The anonymous function in this example is the lambda expression:

lambda x: len(x)

The anonymous function accepts one argument, x, and returns the length of its argument, which is then used by the sort() method as the criteria for sorting.

Basic syntax of a lambda function in Python is

lambda arg1, arg2, arg3, ...: <operation on the arguments returning a value>

The expression returned by the lambda function can be assigned to a variable and used in the code at multiple places.

>>> add = lambda a: a + a >>> add(20) 40

Another example would be sorting items in a list by the name of their class (in Python, everything has a class):

>>> a = [10, 'number', 11.2] >>> a.sort(key=lambda x: x.__class__.__name__) >>> a [11.2, 10, 'number']

Note that 11.2 has class name "float", 10 has class name "int", and 'number' has class name "str". The sorted order is "float", "int", then "str".

Closures

Main article: Closure (computer programming)

Closures are functions evaluated in an environment containing bound variables. The following example binds the variable "threshold" in an anonymous function that compares the input to the threshold.

def comp(threshold): return lambda x: x < threshold

This can be used as a sort of generator of comparison functions:

>>> func_a = comp(10) >>> func_b = comp(20) >>> print(func_a(5), func_a(8), func_a(13), func_a(21)) True True False False >>> print(func_b(5), func_b(8), func_b(13), func_b(21)) True True True False

It would be impractical to create a function for every possible comparison function and may be too inconvenient to keep the threshold around for further use. Regardless of the reason why a closure is used, the anonymous function is the entity that contains the functionality that does the comparing.

Currying

Main article: currying

Currying is the process of changing a function so that rather than taking multiple inputs, it takes a single input and returns a function which accepts the second input, and so forth. In this example, a function that performs division by any integer is transformed into one that performs division by a set integer.

>>> def divide(x, y): ... return x / y >>> def divisor(d): ... return lambda x: divide(x, d) >>> half = divisor(2) >>> third = divisor(3) >>> print(half(32), third(32)) 16.0 10.666666666666666 >>> print(half(40), third(40)) 20.0 13.333333333333334

While the use of anonymous functions is perhaps not common with currying, it still can be used. In the above example, the function divisor generates functions with a specified divisor. The functions half and third curry the divide function with a fixed divisor.

The divisor function also forms a closure by binding the variable d.

Higher-order functions

A higher-order function is a function that takes a function as an argument or returns one as a result. This is commonly used to customize the behavior of a generically defined function, often a looping construct or recursion scheme. Anonymous functions are a convenient way to specify such function arguments. The following examples are in Python 3.

Map

Main article: Map (higher-order function)

The map function performs a function call on each element of a list. The following example squares every element in an array with an anonymous function.

>>> a = [1, 2, 3, 4, 5, 6] >>> list(map(lambda x: x * x, a)) [1, 4, 9, 16, 25, 36]

The anonymous function accepts an argument and multiplies it by itself (squares it). The above form is discouraged by the creators of the language, who maintain that the form presented below has the same meaning and is more aligned with the philosophy of the language:

>>> a = [1, 2, 3, 4, 5, 6] >>> [x * x for x in a] [1, 4, 9, 16, 25, 36]

Filter

Main article: Filter (higher-order function)

The filter function returns all elements from a list that evaluate True when passed to a certain function.

>>> a = [1, 2, 3, 4, 5, 6] >>> list(filter(lambda x: x % 2 == 0, a)) [2, 4, 6]

The anonymous function checks if the argument passed to it is even. The same as with map, the form below is considered more appropriate:

>>> a = [1, 2, 3, 4, 5, 6] >>> [x for x in a if x % 2 == 0] [2, 4, 6]

Fold

Main article: Fold (higher-order function)

A fold function runs over all elements in a structure (for lists usually left-to-right, a "left fold", called reduce in Python), accumulating a value as it goes. This can be used to combine all elements of a structure into one value, for example:

>>> from functools import reduce >>> a = [1, 2, 3, 4, 5] >>> reduce(lambda x, y: x * y, a) 120

This performs

( ( ( 1 × 2 ) × 3 ) × 4 ) × 5 = 120. {\displaystyle \left(\left(\left(1\times 2\right)\times 3\right)\times 4\right)\times 5=120.}

The anonymous function here is the multiplication of the two arguments.

The result of a fold need not be one value. Instead, both map and filter can be created using fold. In map, the value that is accumulated is a new list, containing the results of applying a function to each element of the original list. In filter, the value that is accumulated is a new list containing only those elements that match the given condition.

List of languages

The following is a list of programming languages that support unnamed anonymous functions fully, or partly as some variant, or not at all.

This table shows some general trends. First, the languages that do not support anonymous functions (C, Pascal, Object Pascal) are all statically typed languages. However, statically typed languages can support anonymous functions. For example, the ML languages are statically typed and fundamentally include anonymous functions, and Delphi, a dialect of Object Pascal, has been extended to support anonymous functions, as has C++ (by the C++11 standard). Second, the languages that treat functions as first-class functions (Dylan, Haskell, JavaScript, Lisp, ML, Perl, Python, Ruby, Scheme) generally have anonymous function support so that functions can be defined and passed around as easily as other data types.

List of languages
LanguageSupportNotes
ActionScriptY
AdaYExpression functions are a part of Ada2012, access-to-subprogram4
ALGOL 68Y
APLYDyalog, ngn and dzaima APL fully support both dfns and tacit functions. GNU APL has rather limited support for dfns.
Assembly languagesN
AHKYSince AutoHotkey V2 anonymous functions are supported with a syntax similar to JavaScript.
BashYA library has been made to support anonymous functions in Bash.5
CNSupport is provided in Clang and along with the LLVM compiler-rt lib. GCC support is given for a macro implementation which enables the possibility of use. See below for more details.
C#Y6
C++YAs of the C++11 standard
CFMLYAs of Railo 4,7 ColdFusion 108
ClojureY9
COBOLNMicro Focus's non-standard Managed COBOL dialect supports lambdas, which are called anonymous delegates/methods.10
CurlY
DY11
DartY12
DelphiY13
DylanY14
EiffelY
ElmY15
ElixirY16
ErlangY17
F#Y18
ExcelYExcel worksheet function, 2021 beta release19
FactorY"Quotations" support this20
FortranN
FrinkY21
GoY22
GosuY23
GroovyY24
HaskellY25
HaxeY26
JavaYSupported since Java 8.
JavaScriptY27
JuliaY28
KotlinY29
LispY
LogtalkY
LuaY30
MUMPSN
MapleY31
MATLABY32
MaximaY33
NimY34
OCamlY35
OctaveY36
Object PascalYDelphi, a dialect of Object Pascal, supports anonymous functions (formally, anonymous methods) natively since Delphi 2009. The Oxygene Object Pascal dialect also supports them.
Objective-C (Mac OS X 10.6+)YCalled blocks; in addition to Objective-C, blocks can also be used on C and C++ when programming on Apple's platform.
OpenSCADYFunction Literal support was introduced with version 2021.01.37
PascalN
PerlY38
PHPYAs of PHP 5.3.0, true anonymous functions are supported.39 Formerly, only partial anonymous functions were supported, which worked much like C#'s implementation.
PL/IN
PythonYPython supports anonymous functions through the lambda syntax,40 which supports only expressions, not statements.
RY
RacketY41
RakuY42
RexxN
RPGN
RubyYRuby's anonymous functions, inherited from Smalltalk, are called blocks.43
RustY44
ScalaY45
SchemeY
SmalltalkYSmalltalk's anonymous functions are called blocks.
Standard MLY46
SwiftYSwift's anonymous functions are called Closures.47
TypeScriptY48
TypstY49
TclY50
ValaY51
Visual Basic .NET v9Y52
Visual Prolog v 7.2Y53
Wolfram LanguageY54
ZigN55

Examples of anonymous functions

Main article: Examples of anonymous functions

See also

  • Computer programming portal

References

  1. "Higher order functions". learnyouahaskell.com. Retrieved 3 December 2014. http://learnyouahaskell.com/higher-order-functions ↩

  2. Fernandez, Maribel (2009), Models of Computation: An Introduction to Computability Theory, Undergraduate Topics in Computer Science, Springer Science & Business Media, p. 33, ISBN 9781848824348, The Lambda calculus ... was introduced by Alonzo Church in the 1930s as a precise notation for a theory of anonymous functions 9781848824348 ↩

  3. "Arrow function expressions - JavaScript". MDN. Retrieved August 21, 2019. https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Functions/Arrow_functions ↩

  4. "Access Types". www.adaic.org. Retrieved 2024-06-27. https://www.adaic.org/resources/add_content/standards/05rm/html/RM-3-10.html#S0082 ↩

  5. "Bash lambda". GitHub. 2019-03-08. https://github.com/spencertipping/bash-lambda ↩

  6. BillWagner. "Lambda expressions - C# reference". docs.microsoft.com. Retrieved 2020-11-24. https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/operators/lambda-expressions ↩

  7. "Closure support". Archived from the original on 2014-01-06. Retrieved 2014-01-05. https://web.archive.org/web/20140106031957/http://www.getrailo.org/index.cfm/whats-up/railo-40-beta-released/features/closures/ ↩

  8. "Whats new in ColdFusion 10". Archived from the original on 2014-01-06. Retrieved 2014-01-05. https://web.archive.org/web/20140106032853/https://learn.adobe.com/wiki/display/coldfusionen/Whats+new+in+ColdFusion+10 ↩

  9. "Clojure - Higher Order Functions". clojure.org. Retrieved 2022-01-14. https://clojure.org/guides/higher_order_functions ↩

  10. "Managed COBOL Reference". Micro Focus Documentation. Micro Focus. Archived from the original on 25 February 2014. Retrieved 25 February 2014. https://archive.today/20140225190401/http://documentation.microfocus.com/help/topic/com.microfocus.eclipse.infocenter.visualcobol.vs/GUID-DA75663F-6357-4064-8112-C87E7457DE51.html ↩

  11. "Functions - D Programming Language". dlang.org. Retrieved 2022-01-14. https://dlang.org/spec/function.html ↩

  12. "A tour of the Dart language". dart.dev. Retrieved 2020-11-24. https://dart.dev/guides/language/language-tour ↩

  13. "Anonymous Methods in Delphi - RAD Studio". docwiki.embarcadero.com. Retrieved 2020-11-24. http://docwiki.embarcadero.com/RADStudio/Sydney/en/Anonymous_Methods_in_Delphi#:~:text=As%20the%20name%20suggests,%20an,a%20parameter%20to%20a%20method. ↩

  14. "Functions — Dylan Programming". opendylan.org. Retrieved 2022-01-14. https://opendylan.org/books/dpg/func.html ↩

  15. "docs/syntax". elm-lang.org. Retrieved 2022-01-14. https://elm-lang.org/docs/syntax ↩

  16. "Erlang/Elixir Syntax: A Crash Course". elixir-lang.github.com. Retrieved 2020-11-24. https://elixir-lang.org/crash-course.html ↩

  17. "Erlang -- Funs". erlang.org. Retrieved 2020-11-24. https://erlang.org/doc/programming_examples/funs.html ↩

  18. cartermp. "Lambda Expressions: The fun Keyword - F#". docs.microsoft.com. Retrieved 2020-11-24. https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/functions/lambda-expressions-the-fun-keyword ↩

  19. "LAMBDA: The ultimate Excel worksheet function". microsoft.com. 25 January 2021. Retrieved 2021-03-30. https://www.microsoft.com/en-us/research/blog/lambda-the-ultimatae-excel-worksheet-function/ ↩

  20. "Quotations - Factor Documentation". Retrieved 26 December 2015. A quotation is an anonymous function (a value denoting a snippet of code) which can be used as a value and called using the Fundamental combinators. http://docs.factorcode.org/content/article-quotations.html ↩

  21. "Frink". frinklang.org. Retrieved 2020-11-24. https://frinklang.org/ ↩

  22. "Anonymous Functions in GoLang". GoLang Docs. 9 January 2020. Retrieved 2020-11-24. https://golangdocs.com/anonymous-functions-in-golang ↩

  23. "Gosu Documentation" (PDF). Retrieved 4 March 2013. http://gosu-lang.org/doc/pdf/gosuref.pdf ↩

  24. "Groovy Documentation". Archived from the original on 22 May 2012. Retrieved 29 May 2012. https://web.archive.org/web/20120522213410/http://groovy.codehaus.org/Closures ↩

  25. "Anonymous function - HaskellWiki". wiki.haskell.org. Retrieved 2022-01-14. https://wiki.haskell.org/Anonymous_function ↩

  26. "Lambda". Haxe - The Cross-platform Toolkit. Retrieved 2022-01-14. https://haxe.org/manual/std-Lambda.html ↩

  27. "Functions - JavaScript | MDN". developer.mozilla.org. Retrieved 2022-01-14. https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Functions ↩

  28. "Functions · The Julia Language". docs.julialang.org. Retrieved 2020-11-24. https://docs.julialang.org/en/v1/manual/functions/ ↩

  29. "Higher-Order Functions and Lambdas - Kotlin Programming Language". Kotlin. Retrieved 2020-11-24. https://kotlinlang.org/docs/reference/lambdas.html ↩

  30. "Programming in Lua : 6". www.lua.org. Retrieved 2020-11-24. https://www.lua.org/pil/6.html ↩

  31. "Maple Programming: 1.6: Anonymous functions and expressions - Application Center". www.maplesoft.com. Retrieved 2020-11-24. https://www.maplesoft.com/applications/view.aspx?sid=1522&view=html ↩

  32. "Anonymous Functions - MATLAB & Simulink". www.mathworks.com. Retrieved 2022-01-14. https://www.mathworks.com/help/matlab/matlab_prog/anonymous-functions.html ↩

  33. "Maxima 5.17.1 Manual: 39. Function Definition". maths.cnam.fr. Retrieved 2020-11-24. http://maths.cnam.fr/Membres/wilk/MathMax/help/Maxima/maxima_39.html#:~:text=Maxima%20simplifies%20funmake%20%27s%20return%20value.&text=Defines%20and%20returns%20a%20lambda,of%20the%20function%20is%20expr_n%20. ↩

  34. "Nim Manual". nim-lang.github.io. https://nim-lang.github.io/Nim/manual.html#procedures-anonymous-procs ↩

  35. "Code Examples – OCaml". ocaml.org. Retrieved 2020-11-24. https://ocaml.org/learn/taste.html ↩

  36. "GNU Octave: Anonymous Functions". octave.org. Retrieved 2020-11-24. https://octave.org/doc/v4.0.1/Anonymous-Functions.html ↩

  37. "Function Literals". OpenSCAD User Manual. Wikibooks. Retrieved 22 February 2021. https://en.wikibooks.org/wiki/OpenSCAD_User_Manual/User-Defined_Functions_and_Modules#Function_Literals ↩

  38. "perlsub - Perl subroutines - Perldoc Browser". perldoc.perl.org. Retrieved 2020-11-24. https://perldoc.perl.org/perlsub ↩

  39. "PHP: Anonymous functions - Manual". www.php.net. Retrieved 2020-11-24. https://www.php.net/manual/en/functions.anonymous.php ↩

  40. "6. Expressions — Python 3.9.0 documentation". docs.python.org. Retrieved 2020-11-24. https://docs.python.org/3/reference/expressions.html ↩

  41. "4.4 Functions: lambda". docs.racket-lang.org. Retrieved 2020-11-24. https://docs.racket-lang.org/guide/lambda.html ↩

  42. "Functions". docs.raku.org. Retrieved 2022-01-14. https://docs.raku.org/language/functions ↩

  43. Sosinski, Robert (2008-12-21). "Understanding Ruby Blocks, Procs and Lambdas". Reactive.IO. Archived from the original on 2014-05-31. Retrieved 2014-05-30. https://web.archive.org/web/20140531123646/http://www.reactive.io/tips/2008/12/21/understanding-ruby-blocks-procs-and-lambdas/ ↩

  44. "Closures: Anonymous Functions that Can Capture Their Environment - The Rust Programming Language". doc.rust-lang.org. Retrieved 2022-01-14. https://doc.rust-lang.org/book/ch13-01-closures.html ↩

  45. "Anonymous Functions". Scala Documentation. Retrieved 2022-01-14. https://docs.scala-lang.org/overviews/scala-book/anonymous-functions.html ↩

  46. "Recitation 3: Higher order functions". www.cs.cornell.edu. Retrieved 2022-01-14. https://www.cs.cornell.edu/courses/cs312/2008sp/recitations/rec03.html ↩

  47. "Closures — The Swift Programming Language (Swift 5.5)". docs.swift.org. https://docs.swift.org/swift-book/LanguageGuide/Closures.html ↩

  48. "Documentation - Everyday Types". www.typescriptlang.org. Retrieved 2022-01-14. https://www.typescriptlang.org/docs/handbook/2/everyday-types.html ↩

  49. "Function Type - Typst Documentation". typst.app. Retrieved 2024-09-10. https://typst.app/docs/reference/foundations/function/#unnamed ↩

  50. "Projects/Vala/Tutorial - GNOME Wiki!". wiki.gnome.org. Retrieved 2020-11-24. https://wiki.gnome.org/Projects/Vala/Tutorial ↩

  51. "Projects/Vala/Tutorial - GNOME Wiki!". wiki.gnome.org. Retrieved 2020-11-24. https://wiki.gnome.org/Projects/Vala/Tutorial ↩

  52. KathleenDollard (15 September 2021). "Lambda Expressions - Visual Basic". docs.microsoft.com. Retrieved 2022-01-14. https://docs.microsoft.com/en-us/dotnet/visual-basic/programming-guide/language-features/procedures/lambda-expressions ↩

  53. "Language Reference/Terms/Anonymous Predicates - wiki.visual-prolog.com". wiki.visual-prolog.com. Retrieved 2022-01-14. https://wiki.visual-prolog.com/index.php?title=Language_Reference/Terms/Anonymous_Predicates ↩

  54. "Pure Anonymous Function: Elementary Introduction to the Wolfram Language". www.wolfram.com. Retrieved 2022-01-14. https://www.wolfram.com/language/elementary-introduction/2nd-ed/26-pure-anonymous-functions.html.en ↩

  55. "Lambdas, Closures and everything in between · Issue #1048 · ziglang/zig". GitHub. Retrieved 2023-08-21. https://github.com/ziglang/zig/issues/1048 ↩