Discussion :

[alialguelmi]

Plz help me four this Exercice.

Donner en OCAML la fonction qui implémente la sémantique opérationnelle du langage ci-
dessous.

C::=Skip
| c1;c2
| x:=e avec e in ExpA
| if b then c1 else c2. avec b in ExpB
|while b then c avec b in ExpB
|case x of
v1:c1 ;
v2:c2;
v3:c3 ;
…
vn:cn
else c avec vi des entiers

[SpiceGuid]

À mon avis on te demande de déclarer un type inductif du genre :

Code ocaml :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
type code =
  | Skip
  | Seq of {c1:code;c2:code}
  | Let of {x:int;e:code;expr:code}  
  | ....
 
type env =
   (int * code) list

Ensuite tu dois évaluer un élément de type code à l'aide d'une fonction eval : code -> env -> code.