Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

Caml Discussion :

Help me in this TP.


Sujet :

Caml

  1. #1
    Candidat au Club
    Help me in this TP.
    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

  2. #2
    Membre expert
    À 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.
    Du même auteur: le cours OCaml, le dernier article publié, le blog dvp et le jeu vidéo.
    Avant de poser une question je lis les règles du forum.

###raw>template_hook.ano_emploi###