Interrogation Caml 1 29 janvier 2011
Premiers pas
1 Ecrire une commande pour calculer 113´ 3 avec Caml.
2 D´eclarer un identificateur var comme une r´ef´erence de flottant de valeur initiale 1,717.
En commande Caml, affecter `a var la r´ef´erence de 1.7172. Quelle sera la r´eponse de Caml apr`es cette commande ?
3 D´eclarer la fonction f : (x, y) 7→ 2x−3y de Z2 dans Z sous forme curryfi´ee (elle sera donc de type int −> int−> int).
4 D´efinir une fonction dernier de type ’a list −> ’a qui renvoie le dernier terme d’une liste (chaˆın´ee) si elle n’est pas vide.
5 D´efinir une fonction retourne tableau de type ’a vect −>’a vect qui `a un tableau [|a 0; ...; a n|]
associe [|a n; ...; a 0|] .
On rappelle que Caml a une fonction make vect de type int −> ’a−> ’a vect . . .