Le espressioni in OCaml

Nel linguaggio OCamle le espressioni sono oggetti fondamentali, così come in qualsiasi altro linguaggio funzionale.

Ogni espressione assume un valore ottenuto dal calcolo.

Ad esempio, l'espressione 3+2 assume il valore 5.

3+2;;
- : int = 5

Il valore dell'espressione può essere di tipi (formati) diversi:

Le espressioni possono contenere al loro interno valori indipendenti dall'ambiente ( costanti )

let x = 3+2

oppure valori che dipendono dall'ambiente operativo ( variabili, funzioni )

let x = 3+z

In quest'ultimo caso il valore dell'espressione dipende dal valore della variabile z.

Le espressioni possono essere semplici o complesse

Espressioni semplici. Sono espressioni che non possono essere ridotte ulteriormente. Ad esempio i valori.
let x = 5
Espressioni complesse. Sono espressioni che possono essere semplificate.
let x = 3+2

E così via.