Caml

Sethi, Jeffrey D. Ullman, Addison-Wesley. Version française à la bibliothèque. – Modern Compiler Implementation in ML.Andrew Appel, Cambridge University Press http://www.cs.princeton.edu/~appel/modern/ml/ – Développement d’applications avec Objective Caml Emmanuel Chailloux, Pascal Manoury, Bruno Pagano, O'Reilly. Bibliothèque et en ligne (http://www.pps.jussieu.fr/Livres/ora/DA-OCAML/index.html). – Manuel OCaml en ligne : http://caml.inria.fr/pub/docs/manual-ocaml/index.html – Mars, un simulateur RISC

Informatique générale 24 Les langages de haut niveau ● Paradigme fonctionnel : basé sur le -calcul (Church, 1930), repose sur la notion d'application de fonction ● Représentants les plus connus : Lisp, Scheme, ML, let somme n = CaML, Haskel  if n = 0 then 0  else n + somme n­1 (* forme récursive du calcul *) ● Paradigme logique : définit des faits et des règles logiques permettant d'inférer d'autres faits ● Représentant le plus connu : Prolog Jacques Farré 2012

Jacques Farré 2012 Informatique générale 24 Les langages de haut niveau ● Paradigme fonctionnel : basé sur le -calcul (Church, 1930), repose sur la notion d'application de fonction ● Représentants les plus connus : Lisp, Scheme, ML, let somme n = CaML, Haskel  if n = 0 then 0  else n + somme n­1 (* forme récursive du calcul *) ● Paradigme logique : définit des faits et des règles logiques permettant d'inférer d'autres faits ● pere(charlie, david). pere(henri, charlie). papy(A, B) :­    pere(A

Blue Brainfuck C C++ C# Caml Cecil Cg CHILL Clarion Clean Clipper CLU Cobol CobolScript Cocoa Component Pascal C-sharp Curl D DATABUS Delphi DOS Batch Dylan E Eiffel ElastiC Erlang Euphoria Forth Fortran Fortress FP Frontier GLSL Goedel Groovy Haskell HLSL HTML HTMLScript HyperCard ICI Icon IDL Intercal Io Jal Java JavaScript Jovial LabVIEW Lagoona LaTeX Leda Limbo Lisp Logo Lua m4 Maple Mathematica MATLAB Mercury Miranda Miva ML Modula-2 Modula-3 Moto Mumps Oberon Objective Caml Objective-C Obliq Occam

programmation, parmi lesquels : • • • • • • • • • Ada, APL, C#, C++, Cobol, Eiffel, Fortran, Haskell, ML, 25 Amendis Stage de première année Août 2005 • • • • • • • • • • • • Application TPL J#, Jscript, Mercury, Oberon, Objective Caml, Oz, Pascal, Perl, Python, Scheme, SmallTalk, Visual Basic Le langage C# La langage C# a été développé spécifiquement pour la plate-forme .NET. Il s'agit d'un langage orienté objet, dérivé de C++. Il en reprend les majeures caractéristiques, tout

d'environnement On peut utiliser les programmes (comme données) en entrée et en sortie à d'autres programmes, grâce au lambda calcul (-calcul) Classification rapide des langages de programmation : Langages fonctionnels ( Lisp, Scheme : non typé, ML, CAML: très fortement typé) Pas d'effet de bord sauf pour les E/S On y programme essentiellement par opposition de fonction (Un programme = un ensemble de fonctions, sans fonction principale) les informations circulant entre les programmes par l'intermédiaire

vous pouvez utiliser des instructions de jointure en CAML (Collaborative Application Markup Language) ou LINQ to SharePoint pour effectuer des requêtes dans les listes. SharePoint 2010 comprend le fournisseur LINQ to SharePoint, qui convertit les instructions LINQ en requêtes CAML. LINQ est un langage de requête standard qui, lorsqu’il est appliqué à SharePoint, permet aux développeurs d’interroger des listes SharePoint sans connaître la syntaxe CAML utilisée de manière interne par SharePoint. © 2011

expressions rationnelles, comme les intervalles de lettres, qui permettent d’abréger l’écriture. L’outil LEX le plus utilisé est l’original et produit du langage C ; mais il existe également pour d’autres langages, avec quelques variantes. Noter qu’en CAML, l’outil CAMLLEX ne permet pas les définitions. 6.4.3 Description des tokens LEX va nous servir à reconnaitre les différentes unités lexicales sous forme de définitions auxiliaires et de règles. Nous pourrons par exemple avoir un fichier LEX

granularité de détails permet : de raisonner plus efficacement ; de factoriser le travail en instanciant le raisonnement général sur chaque cas particulier. Exemples en programmation : les classes abstraites dans les langages à objets, le polymorphisme de Caml, les fonctions d’ordre supérieur. L’anticipation des évolutions Un logiciel a un cycle de vie plus complexe que l’habituel cycle « commande-spécification-production-livraison ». La maintenance est la gestion des évolutions du logiciel. Il est

Historique succinct (non exhaustif) • • • • • • • • • • • • • • • • • • • • 1954 : Fortran 1959 : Lisp 1964 : Basic 1968 : Logo 1971 : Pascal 1972 : C 1972 : Prolog 1983 : C++ 1983 : Objective C 1985 : PostScript 1985 : Caml 1986 : Eiffel 1987 : Perl 1988 : Octave 1990 : Python 1993 : Ruby 1995 : Java 1995 : PHP 2000 : C♯ 2009 : Go Lycée Frantz Fanon 2 ISN — Python 2 PRISE EN MAIN DE PYTHON 2 Prise en main de python 2.1 Généralités Caractéristiques