Questions / réponses

Exercice 5 du DST 2018 Session1

Exercice 5 du DST 2018 Session1

de către Tony Richard-
Număr de răspunsuri: 1

Bonjour,

Dans l'exercice 5 question 2, l'arbre t est defini par :

let t = Bin(1, Bin(2, leaf 3, Bin(4, Bin(5, leaf 6, leaf 7), Empty)),Bin(8, Empty, leaf 9))

En revanche leaf x n'est pas defini dans le type :

type 'a tree = Empty | Bin of ('a * 'a tree * 'a tree)

Alors doit on concidéré que : leaf x = Bin(x,Empty,Empty) ?

Cordialement.

Ca răspuns la Tony Richard

Re: Exercice 5 du DST 2018 Session1

de către Marc Zeitoun-

Bonjour,

Effectivement, la définition de leaf qui avait été utilisée l'an dernier en TD n'était pas rappelée dans le texte de l'examen (elle l'avait été en direct). C'est bien la fonction qui construit une feuille :

let leaf x = Bin(x, Empty, Empty)

--mz