Questions / réponses

Exercice 5 du DST 2018 Session1

Exercice 5 du DST 2018 Session1

Richard Tony írta időpontban
Válaszok szám: 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.

Válasz erre: Richard Tony

Re: Exercice 5 du DST 2018 Session1

Zeitoun Marc írta időpontban

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