Modules et Signatures

Cet exercice basé sur l'implantation de piles polymorphes a pour but d'illustrer la syntaxe et l'utilisation des modules.

1.

En utilisant le module List d', définissez un module Pile founissant le type 'a pile, les exceptions Pile_Vide et Pile_Pleine ainsi que les fonctions creer, empiler, depiler, est_vide et sommet.

2.

Quel est la signature du module Pile.

3.

Définissez la valeur exemple qui est une pile contenant les entiers 5, 7 et 12 de façon directe et en utilisant le module Pile. Que constate t'on ?

4.

 Définissez la fonction concat de deux piles.

5.

 Définissez une signature PILE semblable à celle de la question mais où l'implantation du type de donnée 'a pile est ``cachée'' (on dit que le type est abstrait).

6.

Définir un module PileAbstraite de signature Pile.

7.

Redéfinir exemple et concat.