Co to jest funkcja pierwszej klasy?

Funkcja pierwszej klasy to termin, który można zastosować w programowaniu komputerowym i informatyce do języka programowania komputerowego, jeśli leczenie funkcji jest zgodne z zestawem wytycznych, chociaż pełny zakres i głębokość tych wytycznych nie jest formalnie uzgodniona.Aby mieć pierwszorzędny język programowania komputerowego, główną funkcją, która musi być obsługiwana, jest możliwość przekazywania funkcji jako argumentów do innych funkcji.Funkcja musi być również można przypisać do zmiennej, aby mogła być przechowywana.Inne właściwości używane do ustalenia, co stanowi funkcję pierwszej klasy, obejmują możliwość dynamicznego generowania funkcji w czasie wykonywania i zdolność języka do posiadania funkcji jako wartości zwracanej innej funkcji.Przekazywanie funkcji w programie za pomocą zmiennych niekoniecznie jest unikalne dla języków, które natywnie wdrażają obsługę funkcji pierwszej klasy.Możliwość przekazywania bloków kodu do funkcji lub zwracania kodu nienamicznego z funkcji można łatwo wykonać w wielu językach programowania za pomocą różnych mechanizmów.Jedną ze ścisłych części definicji języka funkcji pierwszej klasy jest jednak to, że obsługa funkcji jako zmiennych musi odbywać się natywnie, bez użycia metadanych, takich jak warunkowe definiowanie i bez wywoływania kompilatora do rekompilacji kawałka kawałkakod.Termin funkcja jest również używana w odniesieniu do niezależnych bloków kodów, które są wywoływane samodzielnie, co oznacza, że nie zawierają one bloków kodów zwanych metodami w językach programowania zorientowanych na obiekty lub blokach, czasami nazywanych procedurami w innych językach.Został zaprojektowany, aby umożliwić kod funkcji pierwszej klasy, niektóre wzorce projektowe mogą być zaimplementowane bardziej bezpośrednio niż w innych językach.Funkcja może odbierać funkcję jako zmienną, a następnie skonstruować nową funkcję i zwrócić nową funkcję do kodu wywołania, więc tworzy mechanizm tworzenia kodu programu.Może to również umożliwić użycie funkcji wprowadzanych przez użytkownika w czasie rzeczywistym w języku bez użycia procesów, takich jak refleksja lub ocena.

Niektóre z najbardziej podstawowych zastosowań architektury funkcji pierwszej klasy obejmują tworzenie funkcji ogólnych, które mogą łatwobyć ponownie wykorzystywane i wdrażanie rekurencyjnych algorytmów matematycznych, które są w stanie samodzielnie modyfikować swoje równania w miarę postępów.Jednym z podobnych, bardziej zaawansowanych zastosowań dla mechanizmów pierwszej klasy jest implementacja polimorfizmu w językach, w których nie jest on specjalnie wdrażany.Może to pozwolić na wywołanie funkcji z tym samym podpisem funkcji, ale wykonaj kod na podstawie kontekstu, w którym został wywołany, czasem przekazując funkcję kluczową do funkcji polimorficznej.