Questions / réponses

Exercice 5 du DST 2018 Session1

Exercice 5 du DST 2018 Session1

de Tony Richard -
Número de respuestas: 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 respuesta a Tony Richard

Re: Exercice 5 du DST 2018 Session1

de 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