F # - Variabili

Una variabile è un nome dato a un'area di memoria che i nostri programmi possono manipolare. Ogni variabile ha un tipo specifico, che determina la dimensione e il layout della memoria della variabile; l'intervallo di valori che possono essere memorizzati all'interno di quella memoria; e l'insieme di operazioni che possono essere applicate alla variabile.

Dichiarazione di variabili in F #

Il let la parola chiave viene utilizzata per la dichiarazione delle variabili -

Per esempio,

let x = 10

Dichiara una variabile x e le assegna il valore 10.

Puoi anche assegnare un'espressione a una variabile:

let x = 10
let y = 20
let z = x + y

L'esempio seguente illustra il concetto:

Esempio

let x = 10
let y = 20
let z = x + y

printfn "x: %i" x
printfn "y: %i" y
printfn "z: %i" z

Quando compili ed esegui il programma, restituisce il seguente output:

x: 10
y: 20
z: 30

Le variabili in F # sono immutable,il che significa che una volta che una variabile è associata a un valore, non può essere modificata. Sono effettivamente compilati come proprietà di sola lettura statiche.

Il seguente esempio lo dimostra.

Esempio

let x = 10
let y = 20
let z = x + y

printfn "x: %i" x
printfn "y: %i" y
printfn "z: %i" z

let x = 15
let y = 20
let z = x + y

printfn "x: %i" x
printfn "y: %i" y
printfn "z: %i" z

Quando compili ed esegui il programma, viene visualizzato il seguente messaggio di errore:

Duplicate definition of value 'x'
Duplicate definition of value 'Y'
Duplicate definition of value 'Z'

Definizione di variabile con dichiarazione di tipo

Una definizione di variabile indica al compilatore dove e quanto spazio di archiviazione per la variabile deve essere creato. Una definizione di variabile può specificare un tipo di dati e contiene un elenco di una o più variabili di quel tipo come mostrato nell'esempio seguente.

Esempio

let x:int32 = 10
let y:int32 = 20
let z:int32 = x + y

printfn "x: %d" x
printfn "y: %d" y
printfn "z: %d" z

let p:float = 15.99
let q:float = 20.78
let r:float = p + q

printfn "p: %g" p
printfn "q: %g" q
printfn "r: %g" r

Quando compili ed esegui il programma, viene visualizzato il seguente messaggio di errore:

x: 10
y: 20
z: 30
p: 15.99
q: 20.78
r: 36.77

Variabili mutabili

A volte è necessario modificare i valori memorizzati in una variabile. Per specificare che potrebbe esserci un cambiamento nel valore di una variabile dichiarata e assegnata, nella parte successiva di un programma, F # fornisce ilmutableparola chiave. Puoi dichiarare e assegnare variabili mutabili utilizzando questa parola chiave, i cui valori cambierai.

Il mutable parola chiave consente di dichiarare e assegnare valori in una variabile mutabile.

È possibile assegnare un valore iniziale a una variabile mutabile utilizzando il letparola chiave. Tuttavia, per assegnargli un nuovo valore successivo, è necessario utilizzare il← operatore.

Per esempio,

let mutable x = 10
x ← 15

Il seguente esempio chiarirà il concetto:

Esempio

let mutable x = 10
let y = 20
let mutable z = x + y

printfn "Original Values:"
printfn "x: %i" x
printfn "y: %i" y
printfn "z: %i" z

printfn "Let us change the value of x"
printfn "Value of z will change too."

x <- 15
z <- x + y

printfn "New Values:"
printfn "x: %i" x
printfn "y: %i" y
printfn "z: %i" z

Quando compili ed esegui il programma, restituisce il seguente output:

Original Values:
x: 10
y: 20
z: 30
Let us change the value of x
Value of z will change too.
New Values:
x: 15
y: 20
z: 35