Ci-dessous les pages web et ressources pour le module Caml (IF3.01). Vous y trouverez un fond documentaire ainsi que des annonces de toutes sortes (dates d'examens, reports de cours, etc). Bonne lecture !

Les langages de programmation sont en général de curieux hybrides qui combinent des aspects hérités de la structure des ordinateurs et des aspects plus abstraits qui les rattachent à la tradition mathématique. Parmis les premiers aspects, on peut ranger l'affectation (on affecte une valeur à une variable : notion de contenant et de contenu) et le séquencement d'instructions (exécution successives d'instructions). De telles constructions sont appelées impératives car elles correspondent à la vision d'un programme comme une suite d'ordres donnés à la machine (on dit, dans les moindres détails, comment faire les choses). C'est le cas des langages comme Pascal, Fortran, C, C++ ou JAVA. Parmis les seconds aspects, on trouve par exemple les notions d'expression et de fonction que l'on qualifie de déclaratives: elles ont un sens indépendamment de toute exécution ultérieure sur machine (on déclare simplement comment sont les choses). C'est le cas des langages comme Lisp, Scheme (une vision moderne de Lisp) ou Caml. Ces langages sont dits fonctionnels. Il existe une autre catégorie de langages déclaratifs : les langages logiques qui sont eux à base de prédicats et des constructions logiques. Le plus célèbre de ces langages est Prolog. La déclarativité des langages a toutefois ses limites. Nous serons parfois contraints d'avoir recours à des écritures impératives lorsque cela s'avère nécessaire (c'est la cas, par exemple, de traitements où les ordres d'entrées/sorties sont indispensables).

Les concepts abordés dans ce cours seront illustrés par le langage Objective Caml (ou ocaml). On y parlera des opérations et types élémentaires, fonctions et récursivité, typage implicite, structures de données et quelques aspects impératifs comme le traitement des exceptions, le séquencement et les entrées/sorties.