Ποια είναι η λειτουργία πρώτης κατηγορίας;

Η λειτουργία πρώτης κατηγορίας είναι ένας όρος που μπορεί να εφαρμοστεί στον προγραμματισμό των υπολογιστών και την επιστήμη των υπολογιστών σε μια γλώσσα προγραμματισμού υπολογιστών εάν η θεραπεία των λειτουργιών της συμμορφωθεί με ένα σύνολο κατευθυντήριων γραμμών, αν και το πλήρες πεδίο εφαρμογής και το βάθος αυτών των κατευθυντήριων γραμμών δεν συμφωνείται επίσημα.Για να έχετε μια γλώσσα προγραμματισμού υπολογιστών πρώτης κατηγορίας, το κύριο χαρακτηριστικό που πρέπει να υποστηριχθεί είναι η δυνατότητα να περάσετε λειτουργίες ως επιχειρήματα σε άλλες λειτουργίες.Μια συνάρτηση πρέπει επίσης να είναι σε θέση να αντιστοιχιστεί σε μια μεταβλητή, ώστε να μπορεί να αποθηκευτεί.Άλλες ιδιότητες που χρησιμοποιούνται για τον προσδιορισμό της λειτουργίας πρώτης κατηγορίας περιλαμβάνουν τη δυναμική δημιουργία μιας συνάρτησης κατά το χρόνο εκτέλεσης και την ικανότητα της γλώσσας να έχει μια λειτουργία ως τιμή επιστροφής μιας άλλης λειτουργίας.Οι γλώσσες που υποστηρίζουν την αρχιτεκτονική λειτουργίας πρώτης κατηγορίας επιτρέπουν ένα υψηλό επίπεδο αφαίρεσης και επίσης, σε ορισμένες περιπτώσεις, παρέχουν έναν μηχανισμό για τη δυναμική παραγωγή κώδικα.Η διέλευση μιας συνάρτησης μέσα σε ένα πρόγραμμα μέσω μεταβλητών δεν είναι απαραιτήτως μοναδική για τις γλώσσες που εφαρμόζουν εγγενή υποστήριξη λειτουργιών πρώτης κατηγορίας.Η δυνατότητα να μεταβιβαστεί μπλοκ κώδικα σε λειτουργίες ή να επιστρέψει ο μη-δυναμικός κώδικας από μια λειτουργία, μπορεί εύκολα να γίνει σε πολλές γλώσσες προγραμματισμού μέσω διαφορετικών μηχανισμών.Ένα από τα αυστηρά τμήματα του ορισμού μιας γλώσσας λειτουργίας πρώτης κατηγορίας είναι ότι ο χειρισμός των λειτουργιών ως μεταβλητών πρέπει να γίνεται εγγενώς, χωρίς τη χρήση μεταδεδομένων, όπως ορίζοντας υπό όρους και χωρίς να καλείται ένας μεταγλωττιστής για να ανασυνάψει ένα κομμάτικώδικας.Ο όρος συνάρτηση χρησιμοποιείται επίσης για να αναφέρεται σε ανεξάρτητα μπλοκ κώδικα που καλούνται μόνοι τους, πράγμα που σημαίνει ότι δεν περιλαμβάνουν τα μπλοκ κώδικα που είναι γνωστές ως μεθόδους σε αντικειμενικές γλώσσες προγραμματισμού ή τα μπλοκ μερικές φορές ονομάζονται διαδικασίες σε άλλες γλώσσες.έχει σχεδιαστεί για να επιτρέπει τον κωδικό λειτουργίας πρώτης κατηγορίας, ορισμένα σχέδια σχεδιασμού μπορούν να εφαρμοστούν πιο άμεσα από ό, τι σε άλλες γλώσσες.Μια συνάρτηση μπορεί να λάβει μια συνάρτηση ως μεταβλητή και στη συνέχεια να κατασκευάσει μια νέα λειτουργία και να επιστρέψει τη νέα λειτουργία στον κωδικό κλήσης, έτσι δημιουργεί έναν μηχανισμό για τη δημιουργία χρόνου εκτέλεσης του κώδικα προγράμματος.Αυτό μπορεί επίσης να καταστήσει δυνατή τη χρήση λειτουργιών σε πραγματικό χρόνο χρήστη μέσα στη γλώσσα χωρίς τη χρήση διαδικασιών όπως η αντανάκλαση ή η αξιολόγηση.

Ορισμένες από τις πιο βασικές χρήσεις για την αρχιτεκτονική λειτουργίας πρώτης κατηγορίας περιλαμβάνουν τη δημιουργία γενικών λειτουργιών που μπορούν εύκολανα επαναχρησιμοποιηθούν και να εφαρμόσουν αναδρομικούς μαθηματικούς αλγόριθμους που είναι σε θέση να αυτο-τροποποιήσουν τις εξισώσεις τους καθώς προχωρούν.Μια παρόμοια, πιο προηγμένη χρήση για μηχανισμούς πρώτης κατηγορίας είναι η εφαρμογή του πολυμορφισμού σε γλώσσες στις οποίες δεν εφαρμόζεται ειδικά.Αυτό μπορεί να επιτρέψει την κλήση λειτουργιών με την ίδια υπογραφή λειτουργίας, αλλά να εκτελέσει κώδικα με βάση το πλαίσιο στο οποίο ονομάστηκε, μερικές φορές περνώντας μια βασική λειτουργία στην πολυμορφική λειτουργία.