Questions / réponses

Exercice 5 du DST 2018 Session1

Exercice 5 du DST 2018 Session1

por Tony Richard -
Número de respostas: 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.

Em resposta a 'Tony Richard'

Re: Exercice 5 du DST 2018 Session1

por 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