OCaml

architecture donnée pour que tous les programmes en bytecode puissent y être exécutés), portabilité qui a fait, après sa lenteur, la réputation de Java. Il convient de noter que ces trois modes d'exécution ne sont nullement incompatibles. Par exemple, OCaml dispose à la fois d'un interpréteur, d'un compilateur vers du bytecode, et d'un compilateur vers du code natif pour une grande variété de processeurs. Une fois écrit (et compilé si nécessaire), le code devient un logiciel. Pour des projets de grande

architecture donnée pour que tous les programmes en bytecode puissent y être exécutés), portabilité qui a fait, après sa lenteur, la réputation de Java. Il convient de noter que ces trois modes d'exécution ne sont nullement incompatibles. Par exemple, OCaml dispose à la fois d'un interpréteur, d'un compilateur vers du bytecode, et d'un compilateur vers du code natif pour une grande variété de processeurs. Une fois écrit (et compilé si nécessaire), le code devient un logiciel. Pour des projets de grande

même le C#, devant initialement être multiplateforme, au monde du libre, et notamment Linux. 2010/2011 ISETK 24 Historique • Microsoft, décidément très productif, dévoilera F# en 2005. Lui aussi inspiré du C#, mais également de OCaml et Haskell, il ne sera proposé au grand public qu'avec la prochaine génération de l'environnement de développement Microsoft Visual Studio 2010. • En 2006, Microsoft - encore - dévoile Windows PowerShell, qui n'est pas qu'un shell mais aussi un

performance que de commodité, des langages classiques tels que C ou C++. Lisp a eu pour sa part une série de successeurs plus ou moins inspirés de lui, dont le langage Scheme et les langages typés de la programmation fonctionnelle comme Haskell ou OCaml. Des programmes de démonstration de théorèmes géométriques simples ont existé dès les années 1960 ; et des logiciels tels que Maple ou Mathematica effectuent aujourd’hui des travaux d’intégration symbolique qui, il y a trente ans encore, étaient du

e cach´ s ...) e ´ – Preuves (mail, signature electronique, tiers de confiance...) ... O nouveaux modes de d´ veloppement et diffusion du logiciel : e – Notion de Logiciel Libre, et Open Source : licences et mod` le economique e ´ – Cas d’´ tudes (OCaml, Scilab, OpenCascade) e Bibliographie O Alain Strowel. Le droit d’auteur, du logiciel au multimedia. O Andr´ Lucas, Jean Dev` ze, Jean Frayssinet. Droit de l’informatique et de e e l’Internet. S´ ries chronologiques e Responsable : Philippe

MUSCHOLL MODERN TYPE-ORIENTED CONSTRUCTIONS IN PROGRAMMING LANGUAGES (J1IN9124) Semestre d'automne (M2) : 6 ECTS Objectifs : This course presents how to enforce algorithmic constraints through the usage of language type system such as Haskell, Scala, OCaml, and many others. Prérequis recommandés : Programming, Theoretical Computer Science Programme Programme : Types are one of the means for obtaining some safety in programs. Even when restricted to domains where decidability is prefered, like in multi-purpose

souligner le côté encore artisanal de cette jeune science. Toutefois, la forte scientificité des trois premiers volumes de son encyclopédie suggère qu'il s'agit là plutôt d'une boutade de sa part. Au demeurant, la maîtrise de langages comme Haskell, Ocaml ou même APL demande un niveau d'abstraction tout de même plus proche de celui des mathématiques que des deux disciplines citées. 136 La miniaturisation des composants et la réduction des coûts de production, associées à un besoin de plus en plus

nous intéresserons qu’aux programmes et algorithmes récursifs. Mais la notion de définition récursive est beaucoup plus générale : en mathématiques : définition de l’exponentielle : ∀x ∈ R, f (x) = f (x) et f (0) = 1. en programmation : définition en Ocaml d’une liste infinie dont tous les éléments valent 1 : let rec z = 1::z ; ; 3.1.2 Récursivité simple Revenons à la fonction puissance x → xn . Cette fonction peut être définie récursivement : xn = L’algorithme correspondant s’écrit : P UISSANCE (x

Brauner 83 Programmation par contrainte Mod´lisation e R´solution e Syst`mes e Syst`mes bas´s sur la programmation logique e e ECLiPSE Prolog GNU Prolog Syst`mes bas´s sur des librairies e e ILOG soveur (C++) Choco (Java) Facile (Ocaml) N. Brauner 84 Exercice : Affectation de stock N entrepˆts (coˆt d’ouverture ouvre(i) ) o u M boutiques coˆts d’acheminement de chaque entrepˆt ` chaque boutique u o a transfert(i, j) capacit´ : chaque entrepˆt ne peut fournir qu’un certain

machine virtuelle applicative. Cette technique est à mi-chemin entre les interpréteurs tels que décrits ici et les compilateurs. Elle offre la portabilité des interpréteurs avec une bonne efficacité. Par exemple, des portages de Java, Lisp, Scheme, Ocaml, Perl (Parrot), Python, Ruby, Lua, C, etc. sont faits via une machine virtuelle. Note: Lors de la conception d’un programme dans un langage interprété, étant donné l’absence d’un compilateur qui contrôle les types, la visibilité, ..., les techniques