选课选项


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.

访客不能访问此课程,请登录。