Χαρακτηριστικά συναρτησιακού προγραμματισμού

• Αναφορική διαφάνεια (referential transparency)
• Αναδρομή
• Δυνατότητα παράλληλης υλοποίησης
• Δυνατότητα μαθηματικής απόδειξης της ορθότητας ενός προγράμματος