Πίνακας περιεχομένων:
Ορισμός - Τι σημαίνει Λόμδα Λογισμός;
Ο Λομδαμικός Λογισμός είναι ένας τύπος τυπικού συστήματος από τη μαθηματική λογική που χρησιμοποιείται στην επιστήμη των υπολογιστών για τον ορισμό της λειτουργίας, την εφαρμογή και την επανάληψη.
Λειτουργικός προγραμματισμός ηλεκτρονικών υπολογιστών προέκυψε από αυτό το είδος του λογισμικού, και ενεργεί με τη σειρά του ως πρότυπο για την ανάπτυξη λογισμικού, παρέχοντας απλή σημασιολογία για τον υπολογισμό με λειτουργίες. Σε αντίθεση με τις επιτακτικές λειτουργίες, οι οποίες μπορούν να αλλάξουν την κατάσταση του προγράμματος επειδή δεν έχουν αναλογική διαφάνεια, ο λειτουργικός προγραμματισμός δεν αλλάζει την κατάσταση του προγράμματος.
Η Techopedia εξηγεί τον Lambda Calculus
Ο υπολογισμός Lambda κάνει τα νήματα κώδικα γλώσσας να έχουν ακριβώς τις ίδιες τιμές, ανεξάρτητα από το χρόνο ή το μηχάνημα στο οποίο εκτελέστηκε το νήμα κώδικα. Αυτό δεν συμβαίνει με τον επιτακτικό προγραμματισμό λειτουργίας, ο οποίος συνήθως έχει απρόβλεπτες αποκρίσεις προγράμματος.
Ο λειτουργικός προγραμματισμός μπορεί να υλοποιηθεί σε οποιαδήποτε γλώσσα προγραμματισμού, ακόμη και εκείνες που δεν σχεδιάστηκαν με προεπιλεγμένες λειτουργικές δομές προγραμματισμού.
