Options d’inscription


La programmation fonctionnelle adopte un point de vue de plus haut niveau que la programmation impérative et propose des outils puissants comme l'ordre supérieur, le polymorphisme paramétrique ou le typage automatique. Elle permet également de raisonner plus facilement sur les programmes pour s'assurer de leur correction. Nous utiliserons comme support le langage OCaml.

Les visiteurs anonymes ne peuvent pas accéder à ce cours. Veuillez vous connecter.