Typage Caml

abstraction concrète

  1. Définition locale
  2. Expression conditionnelle
  3. Expression type produit
  4. Fonctions à une variable
  5. Fonctions à n variables (1 argument)
  6. Fonctions à n variables (n arguments)
  7. Applications
  8. Conditionnelle par cas
  9. Fonction définie par filtrage
  10. Liste
  11. Définition d'une exception
  12. Déclenchement d'exception
  13. Gestion d'exception
  14. Enregistrement
  15. Règle de typage de flux

dernière modification : 06/12/96