Questions / réponses

Exercice 5 du DST 2018 Session1

Exercice 5 du DST 2018 Session1

par Tony Richard,
Nombre de réponses : 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.

En réponse à Tony Richard

Re: Exercice 5 du DST 2018 Session1

par 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