Ανώνυμη συνάρτηση

Σしぐまτたうηいーたνにゅー επιστήμη τたうωおめがνにゅー υπολογιστών μみゅーιいおたαあるふぁ ανώνυμη συνάρτηση (Αγγλικά: anonymous function ή function literal ή lambda abstraction) είναι ένας ορισμός μιας συνάρτησης ή οποία περιέχει τたうοおみくろん σώματα της συνάρτησης αλλά δでるたεいぷしろんνにゅー περιέχει όνομα (δηλαδή αναγνωριστικό). Οおみくろんιいおた ανώνυμες συναρτήσεις συνήθως :

1. περνιούνται ως παράμετροι σしぐまεいぷしろん συναρτήσεις ανώτερου βαθμού, ή
2. ή δημιουργούν ως αποτέλεσμα συναρτήσεις ανώτερου βαθμού πぱいοおみくろんυうぷしろん χρειάζεται νにゅーαあるふぁ επιστρέψει μみゅーιいおたαあるふぁ συνάρτηση.

Εάν ηいーた συνάρτηση χρησιμοποιείται μόνο μみゅーιいおたαあるふぁ φορά ή γがんまιいおたαあるふぁ περιορισμό αριθμό κλήσεων τότε μみゅーιいおたαあるふぁ ανώνυμη συνάρτηση είναι συντακτικά ελαφρύτερη από μみゅーιいおたαあるふぁ συνάρτηση μみゅーεいぷしろん όνομα. Οおみくろんιいおた ανώνυμες συναρτήσεις συναντιούνται συνεχώς στις συναρτησιακές γλώσσες προγραμματισμού αλλά κかっぱαあるふぁιいおた σしぐまεいぷしろん άλλες γλώσσες προγραμματισμού όπου οおみくろん ρόλος της συνάρτησης έχει πρωταρχικής χρήσης όπως τたうαあるふぁ υπόλοιποι τύποι δεδομένων.

Οおみくろんιいおた ανώνυμες συναρτήσεις προέρχονται από τたうηいーたνにゅー ανάπτυξη τたうοおみくろんυうぷしろん λらむだ-λογισμού πぱいοおみくろんυうぷしろん έκανε οおみくろん Αλόνζο Τσέρτς τたうηいーたνにゅー δεκαετία τたうοおみくろんυうぷしろん 1930 (πぱいρろーιいおたνにゅー τたうηいーたνにゅー ανάπτυξη τたうωおめがνにゅー ηλεκτρονικών υπολογιστών). Γがんまιいおたαあるふぁ παράδειγμα σしぐまτたうαあるふぁ μαθηματικά μみゅーιいおたαあるふぁ συνάρτηση της μορφής $f(x)=x^{2}-x+42$ μπορεί νにゅーαあるふぁ γραφτεί ανώνυμα ως $x\rightarrow x^{2}-x+42$. Ηいーた συγκεκριμένη μαθηματική συνάρτηση σしぐまτたうηいーたνにゅー python θしーたαあるふぁ γραφόταν ανώνυμα ως (lambda x: x**2 -x + 42). Σしぐまτたうοおみくろん παρακάτω παράδειγμα βλέπουμε τたうηいーたνにゅー κλήση της συνάρτησης f(x) (ορισμένη μみゅーεいぷしろん τたうοおみくろん όνομα f) κかっぱαあるふぁιいおた τたうηいーたνにゅー κλήση της ίδιας συνάρτησης ανώνυμα (μみゅーεいぷしろん lambda έκφραση) σしぐまτたうοおみくろん διερμηνέα της Python:

>>> def f (x): return x**2 -x + 42
...
>>> f(10)
132
>>> (lambda x: x**2 -x + 42) (10)
132

Σしぐまτたうηいーたνにゅー γλώσσα Haskell ηいーた ανώνυμη συνάρτηση λάμδα ορίζεται μみゅーεいぷしろん τたうοおみくろん σύμβολο \ πぱいοおみくろんυうぷしろん συμβολίζει τたうοおみくろん ελληνικό γράμμα λらむだ κかっぱαあるふぁιいおた εννοεί τたうοおみくろんνにゅー ορισμό συνάρτησης λάμδα . Συγκεκριμένα ηいーた κλήση της ίδιας ανώνυμης συνάρτησης σしぐまτたうοおみくろんνにゅー διερμηνέα (ghci) της γλώσσας Haskell θしーたαあるふぁ γινόταν μみゅーεいぷしろん τις παρακάτω εντολές:

Prelude> (\x -> x^2 -x + 42) (10)
132

Σしぐまεいぷしろん διάφορες γλώσσες προγραμματισμού οおみくろんιいおた ανώνυμες συναρτήσεις ονομάζονται συναρτήσεις λάμδα (Αγγλικά: lambda) ή περιγράφονται ως λάμδα αφαιρέσεις (Αγγλικά: lambda abstractions). Οおみくろんιいおた ανώνυμες συναρτήσεις είναι μέρος τたうωおめがνにゅー γλωσσών προγραμματισμού από τたうηいーたνにゅー γλώσσα προγραμματισμού Lisp τたうοおみくろん 1958 κかっぱαあるふぁιいおた σήμερα πολλές σύγχρονες γλώσσες προγραμματισμού υποστηρίζουν ανώνυμες συναρτήσεις (γがんまιいおたαあるふぁ παράδειγμα ηいーた C++11 κかっぱαあるふぁιいおた ηいーた Java 8 υποστηρίζουν ανώνυμες/λάμδα συναρτήσεις).

Οおみくろんιいおた ανώνυμες συναρτήσεις είναι μみゅーιいおたαあるふぁ μορφή ενθυλακωμένης συνάρτησης, ηいーた οποία επιτρέπει πρόσβαση σしぐまεいぷしろん μεταβλητές πぱいοおみくろんυうぷしろん βρίσκονται μέσα σしぐまτたうοおみくろん πεδίο της συνάρτησης πぱいοおみくろんυうぷしろん ενθυλακώνεται. Σしぐまεいぷしろん αντίθεση μみゅーεいぷしろん τις συναρτήσεις μみゅーεいぷしろん όνομα δでるたεいぷしろんνにゅー μπορούν νにゅーαあるふぁ χρησιμοποιηθούν σしぐまεいぷしろん αναδρομή χωρίς τたうηいーたνにゅー βοήθεια τたうοおみくろんυうぷしろん τελεστή fixpoint οおみくろん οποίος είναι γνωστός κかっぱαあるふぁιいおた ως anonymous fixpoint ή anonymous recursion.