Tracks on Tracks on Tracks

Listas

Uma list em F# é uma coleção imutável de zero ou mais valores. Todos os valores de uma lista têm de ser do mesmo tipo. Como as listas são imutáveis, depois de uma lista ser construída o seu valor nunca pode mudar. Quaisquer funções/operadores que pareçam modificar uma lista (como adicionar um elemento) devolvem, na verdade, uma nova lista.

As listas podem definir-se da seguinte forma:

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

A forma mais comum de adicionar um elemento a uma lista é através do operador :: (cons):

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

Uma lista em F# tem uma cabeça (o primeiro elemento) e uma cauda (tudo o que vem depois do primeiro elemento). A cauda de uma lista é, ela própria, uma lista.

As listas são manipuladas quer com funções e operadores definidos no módulo List, quer manualmente, recorrendo à correspondência de padrões com os padrões list e 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"

Também podes descartar um valor ao fazer correspondência de padrões; quando não te importas com um valor num caso específico (ou seja, não o vais _usar), podes usar um underscore ('_') para o indicar:

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)"

O '_' isolado deve vir sempre em último lugar na correspondência de padrões. Qualquer valor que não corresponda a nenhum dos outros casos será tratado por este caso.