Τιμολόγηση πίτσας

Αναδρομή

Η δυνατότητα κάτι να ορίζεται με βάση τον εαυτό του ονομάζεται αναδρομή. Στην F#, η αναδρομή συναντάται πιο συχνά σε αναδρομικές συναρτήσεις, δηλαδή συναρτήσεις που καλούν τον εαυτό τους.

Μια αναδρομική συνάρτηση πρέπει να έχει τουλάχιστον μία βασική περίπτωση και τουλάχιστον μία αναδρομική περίπτωση. Μια βασική περίπτωση επιστρέφει μια τιμή χωρίς να καλέσει ξανά τη συνάρτηση. Μια αναδρομική περίπτωση καλεί ξανά τη συνάρτηση, τροποποιώντας την είσοδο έτσι ώστε κάποια στιγμή να ταιριάξει με τη βασική περίπτωση.

Οι αναδρομικές συναρτήσεις ορίζονται όπως οι κανονικές συναρτήσεις, αλλά με τον τροποποιητή rec. Χωρίς αυτόν τον τροποποιητή, μια συνάρτηση δεν θα μπορεί να καλέσει τον εαυτό της και κάθε απόπειρα να το κάνει θα καταλήξει σε σφάλμα μεταγλώττισης. Η αναδρομή, επομένως, πρέπει να δηλώνεται ρητά.

let rec factorial x =
    // Base case
    if x = 1 then
        1
    // Recursive case
    else
        x * factorial (x - 1)

Η F# υποστηρίζει επίσης αναδρομικούς τύπους μέσω τύπων διάκριτης ένωσης. Ένας αναδρομικός τύπος διάκριτης ένωσης έχει μία ή περισσότερες από τις περιπτώσεις του να αναφέρονται στα δεδομένα τους στον ίδιο τον τύπο διάκριτης ένωσης. Όπως οι αναδρομικές συναρτήσεις, έτσι και οι αναδρομικοί τύποι πρέπει να έχουν μια βασική περίπτωση. Σε αντίθεση με τις αναδρομικές συναρτήσεις, οι αναδρομικοί τύποι δεν χρησιμοποιούν τη λέξη-κλειδί rec.

type RussianDoll =
    | Doll                 // Base case
    | Layer of RussianDoll // Recursive case