Exercițiul 1: În C, ML, ca și în alte limbaje, ordinea de evaluare a operanzilor e precizată pentru unii operatori (de exemplu, && și ||, de la stânga la dreapta), și neprecizată (poate fi oricare) pentru majoritatea operatorilor binari uzuali (aritmetici, comparație, etc.).
Fie următoarea expresie
if x > 3 && x < 5 then (x + 1) * (x - 2) else (x - 4) * (x + 6)
Dați etichete distincte (de exemplu litere) tuturor operatorilor din expresie. Explicați care operatori sunt sigur produc rezultatul înaintea cărora, dacă a) x = 4; b) x = 6. Calculați în ambele cazuri închiderea tranzitivă a ordinii parțiale definite.
Exercițiul 2 Scrieți o funcție care ia o listă de caractere și produce un dicționar în care fiecare caracter e asociat cu numărul aparițiilor în listă.
Indicație: parcurgeți lista cu List.fold_left și actualizați dicționarul la fiecare pas. Distingeți cazurile când caracterul e nou în dicționar sau e întâlnit prima dată.
Pentru a crea ușor liste de caractere, puteți folosi următoarea funcție care creează o listă de caractere dintr-un șir:
let explode s = let rec expl i l = if i < 0 then l else expl (i - 1) (s.[i] :: l) in expl (String.length s - 1) [];; explode "acesta este un sir";;