Manipuler des n-uplets

Exercice · OCaml (option informatique), chapitre 1 — Découvrir OCaml : expressions, valeurs et types

Énoncé

Écrire echange qui échange les deux composantes d'un couple, puis normalise qui, à un couple d'entiers $(a, b)$ avec $b \neq = 0$ , associe le couple $(a / b, a mod b)$ . Donner les types.

Corrigé

let echange (x, y) = (y, x)              (* 'a * 'b -> 'b * 'a *)
let normalise (a, b) = (a / b, a mod b)  (* int * int -> int * int *)

echange est polymorphe (elle ne regarde pas le contenu, seulement la structure de couple) ; normalise est forcée à int par les opérateurs / et mod. La précondition $b \neq = 0$ relève du contrat : la fonction ne promet rien si on la viole.

Les autres exercices de ce chapitre Le cours du chapitre

Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.