OCaml (option informatique) · Chapitre 1 · Exercice de TD
Application partielle
Découvrir OCaml : expressions, valeurs et types · niveau 2
Énoncé
On définit let entre bas haut x = bas <= x && x <= haut. Donner le type de entre, puis celui de entre 0 10, et expliquer ce que dénote cette dernière.
Corrigé
entre a pour type int -> int -> int -> bool. Par application partielle, entre 0 10 a pour type int -> bool : c'est la fonction « ce nombre est-il dans l'intervalle ? ». On pourrait la nommer : let dans_dix = entre 0 10, puis dans_dix 7 renverrait true.
Exercices semblables
- Portée lexicale corrigé
- Fonction d'ordre supérieur et polymorphisme corrigé
- Manipuler des n-uplets corrigé
- L'algorithme d'Euclide corrigé
- Suite définie par récurrence mutuelle corrigé