Recursivite 2

Comment représenter P(P(P (R 11))) dans le type puiscple ?

On souhaite extraire la racine d'un type puisrec, quelle fonction est correcte ?

On souhaite implémenter une fonction recVcple qui convertit un type puisrec en un type puiscple, compléter la fonction. Attention soyez précis.

(a)  

On souhaite réaliser une fonction cpleVrec pour convertir le type puiscple en puisrec. Quelles sont les équations récursives de cette fonction ?

On veut implémenter la fonction recVpuis qui convertir un type puisrec en un type puis. Compléter avec précision.

(a)  

Attention question piège: quand je rends un compte-rendu de TP, je dois le faire au format:

Quel est le rôle de la directive #trace f;; en ocaml ?

En OCaml, quelle syntaxe permet de concaténer deux chaînes de caractères a et b ?

Quelle fonction permet d'afficher la longueur d'une chaine de caractères ?