Classes abstraites : évaluateur d'expressions

Cet exercice a pour but de montrer la factorisation de code réalisé par l'utilisation de classes abstraites.

1.

Définir une classe abstraite expr_ar pour les expressions arithmétiques contenant deux méthodes abstraites : eval :int et print : unit qui évalue et affiche une expression arithmétique.

2.

Définir une classe concrète constante sous-classe de expr_ar.

3.

Définir une sous-classe abstraite bin_op de expr_ar implantant les méthodes eval et print en utilisant deux nouvelles méthodes abstraites oper : (int * int) -> int, utilisée par eval, et symbole : string, utilisée par print.

4.

Définir les classes concrètes add et mul sous-classes de bin_op implantant chacune les méthodes oper et symbole.

5.

Dessiner l'arbre d'héritage.