OCaml (option informatique) · Chapitre 1 · Application directe du cours
Petites fonctions et type inféré
Découvrir OCaml : expressions, valeurs et types · niveau 1 (application)
Énoncé
Définir une fonction est_positif qui teste si un entier est strictement positif, et une fonction milieu qui renvoie la moyenne de deux flottants. Donner le type inféré de chacune.
Corrigé
let est_positif n = n > 0 (* val est_positif : int -> bool *)
let milieu x y = (x +. y) /. 2.0 (* val milieu : float -> float -> float *)Pour est_positif, l'usage de > avec 0 (un int) force n : int, et le résultat d'une comparaison est un bool. Pour milieu, les opérateurs flottants forcent les deux arguments à float.
Exercices semblables
- L'algorithme d'Euclide corrigé
- Suite définie par récurrence mutuelle corrigé
- Puissance entière et dépassement corrigé
- Prédire type et valeur corrigé
- Diagnostiquer des erreurs de type corrigé