Adloun

Évaluer un arbre

Exercice · OCaml (option informatique), chapitre 21 — Analyse syntaxique et interprétation

Énoncé

Écrire evalue et évaluer Add (Const 3, Mul (Const 4, Const 2)).

Corrigé

let rec evalue e =
  match e with
  | Const n -> n
  | Add (a, b) -> evalue a + evalue b
  | Sub (a, b) -> evalue a - evalue b
  | Mul (a, b) -> evalue a * evalue b

L'arbre Add (Const 3, Mul (Const 4, Const 2)) s'évalue en 3 + (4 * 2) = 11 : la structure de l'arbre impose déjà l'ordre des opérations.

Les autres exercices de ce chapitre Le cours du chapitre

Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.