Tracks on Tracks on Tracks

Λίστες

Μια list στη F# είναι μια αμετάβλητη συλλογή από μηδέν ή περισσότερες τιμές. Οι τιμές σε μια λίστα πρέπει όλες να έχουν τον ίδιο τύπο. Καθώς οι λίστες είναι αμετάβλητες, μόλις κατασκευαστεί μια λίστα, η τιμή της δεν μπορεί ποτέ να αλλάξει. Οποιεσδήποτε συναρτήσεις/τελεστές φαίνεται να τροποποιούν μια λίστα (όπως η προσθήκη ενός στοιχείου), στην πραγματικότητα επιστρέφουν μια νέα λίστα.

Οι λίστες μπορούν να οριστούν ως εξής:

let empty = []
let singleValue = [5]
let threeValues = ["a"; "b"; "c"]

Ο πιο συνηθισμένος τρόπος για να προσθέσεις ένα στοιχείο σε μια λίστα είναι μέσω του τελεστή :: (cons):

let twoToFour = [2; 3; 4]
let oneToFour = 1 :: twoToFour
// => [1; 2; 3; 4]

Μια λίστα F# έχει μια κεφαλή (το πρώτο στοιχείο) και μια ουρά (ό,τι ακολουθεί μετά το πρώτο στοιχείο). Η ουρά μιας λίστας είναι η ίδια μια λίστα.

Οι λίστες είτε χειρίζονται με συναρτήσεις και τελεστές που ορίζονται στο module List, είτε χειροκίνητα με αντιστοίχιση προτύπων χρησιμοποιώντας τα μοτίβα λίστας και cons:

let describe list =
    match list with
    | [] -> "Empty list"
    | head::tail -> sprintf "Non-empty list with head: %d" head

describe []        // => "Empty list"
describe [1]       // => "Non-empty with head: 1"
describe [5; 7; 9] // => "Non-empty with head: 5"

Μπορείς επίσης να αγνοήσεις μια τιμή κατά την αντιστοίχιση προτύπων. Όταν δεν σε νοιάζει μια τιμή σε μια συγκεκριμένη περίπτωση (δηλαδή δεν πρόκειται να χρησιμοποιήσεις μια τιμή), μπορείς να χρησιμοποιήσεις μια κάτω παύλα ('_') για να το δηλώσεις αυτό:

let describe list =
    match list with
    | [] -> "Empty list"
    | [x] -> "List with one item"
    | [_; y] -> "List with two items (first item ignored)"
    | _ -> "List with many items (all items ignored)"

describe []        // => "Empty list"
describe [1]       // => "List with one item"
describe [5; 7]     // => "List with two items (first item ignored)"
describe [5; 7; 9] // => "List with many items (all items ignored)"

Το μονό '_' πρέπει πάντα να έρχεται τελευταίο στην αντιστοίχιση προτύπων. Κάθε τιμή που δεν ταιριάζει με καμία από τις άλλες περιπτώσεις θα χειρίζεται από αυτή την περίπτωση.