Gli operatori in OCaml
Gli operatori matematici
Le principali operazioni matematiche
Addizione
tra interi
3+2;;
- : int = 5
tra reali
3.0 +. 2.0 ;;
- : float = 5.
Sottrazione
Tra interi
3-2;;
- : int = 1
Tra reali
3.0 -. 2.0 ;;
- : float = 1.
Moltiplicazione
Tra interi
3*2;;
- : int = 6
Tra reali
3.0 *. 2.0 ;;
- : float = 6.
Divisione
Tra interi
3/2;;
- : int = 1
Tra reali
3.0 /. 2.0 ;;
- : float = 1.5
Resto della divisione
3 mod 1;;
- : int = 1
Funziona solo con i numeri interi.
Il successore
succ(3);;
- : int = 4
Funziona solo con i numeri interi.
Il predecessore
pred(3);;
- : int = 4
Funziona solo con i numeri interi.
Potenza
5.0**2.0;;
- : float = 25.
Funziona solo con i numeri reali (float).
Radice quadrata
sqrt(25.)
- : float 5.
Funziona solo con i numeri reali (float).
Radice ennesima
125.**(1. \. 3.);;
- : float = 5.
Le operazioni di confronto
Maggiore
3>2
- : bool = true
Funziona con dati dello stesso tipo (interi, reali, stringhe).
Minore
3<2
- : bool = false
Funziona con dati dello stesso tipo (interi, reali, stringhe).
Uguale
3=2
- : bool = false
Funziona con dati dello stesso tipo (interi, reali, stringhe).
Diverso
3<>2
- : bool = false
Funziona con dati dello stesso tipo (interi, reali, stringhe, booleani, caratteri).
Maggiore-uguale
3>=2
- : bool = true
Funziona con dati dello stesso tipo (interi, reali, stringhe).
Minore-uguale
3<=2
- : bool = false
Funziona con dati dello stesso tipo (interi, reali, stringhe).
Le operazioni con le stringhe
Concatenazione
"abc"^"def";;
- : string = "abcdef"
Confronto (uguale)
"abc"="def";;
- : bool = false
Confronto (diverse)
"abc"<>"def";;
- : bool = true
Confronto (caratteri ASCII)
Maggiore
"abc" > "def";;
- : bool = true
Maggiore uguale
"abc" >= "def";;
- : bool = false
Minore
"abc" < "def";;
- : bool = true
Minore uguale
"abc" <= "def";;
- : bool = true
Gli operatori logici
Gli operatori logici in OCaml sono
Congiunzione (AND)
true && true;;
- : bool = true
Disgiunzione (OR)
true || false;;
- : bool = true
Negazione (NOT)
not true;;
- : bool = false
E così via.
