Programmation Caml (page 2)

Zakath · 2004-01-30T20:41:29+00:00

MaJ du 11/02 : tableaux Je ne suis pas du tout sûr d'être dans la bonne section, donc n'hésitez pas à me déplacer le cas échéant... Ce post se veut un tutorial d'initiation à la programmation en Caml. Comme j'en suis l'auteur et que je rédige au fur et à mesure, il se peut qu'il y ait des erreurs ou que je ne sois pas clair... N'hésitez pas à me le dire ! Introduction Tout d'abord, petite présentation de Caml : Il s'agit d'une version de ML (abbréviation de Meta Language) développée par les petits gars de l'INRIA (à ne pas confondre avec l'INRA ;-)). Par méta-langage, on entend (me semble-t-il, mais cela reste à vérifier) que ce langage a été spécifiquement développé pour que les programmes soient faciles à démontrer (au sens mathématique du terme). Ceci implique une syntaxe claire et structurée (contrairement au C !), mais aussi que Caml est un langage de haut niveau, donc qui ne fait pas se préoccuper la programmeur de questions liées au matériel (comme l'allocation de mémoire en C, par exemple). Il s'agit également d'un langage fonctionnel, par opposition aux langages dits impératifs (C,...), orientés objet (C++, Java,...) ou logiques (PROLOG,...), bien que Objective Caml (la version de Caml la plus communément usitée, j'y reviendrais) supporte une couche objet. L'exemple-type de langage fonctionnel est Haskell. En bref, dans un langage impératif, on définit une suite d'ordres que l'ordinateur doit effectuer : let k = ref 0 in for i = 1 to 10 do k:= !k+i done; Alors que dans un langage fonctionnel, on définit des fonctions (d'où le nom) qui vont effectuer une action spécifique, puis on appelle les fonctions avec les arguments voulus : let sum n = let k = ref 0 in for i = 1 to n do k:= !k+i done; !k in sum 10;; La différence peut sembler minime. Néanmoins, il s'agit d'une caractéristique importante qui va vite se révéler extrêmement utile, notamment pour écrire du code clair. Installation Pour cette section, je supposerai que vous êtes sous windows. De toute manière, l'installation Linux n'est pas plus difficile. Il existe grosso modo deux distributions de Caml, gérées toutes deux par l'INRIA : Caml Light et Objective Caml. Le premier, comme son nom l'indique, est une version un peu simplifiée. Cela dit, toutes les fonctionnalités nécessaires à la réalisation de programmes avancés sont disponibles. Objective Caml, au contraire, est la version la plus puissante. Le compilateur rivalise même avec C++. Des logiciels comme MLDonkey sont développés en O'Caml. Toutes les librairies sont développées pour O'Caml, alors que Caml Light n'évloue plus. Enfin, O'Caml auorise la création d'éxécutables autonomes, ce qui n'est pas le cas de Caml Light. Pour toutes ces raisons, j'utiliserai ici O'Caml (NB : si vous connaissez Caml Light, les différences sont très minimes : gestion des opérations sur les structures de données (Liste, Tableau, Chaine...) qui changent de nom et `` (touche 7) des caractères transformés en '' (touche 4)). Pour installer O'Caml, téléchargez le fichier suivant : et installez-le dans le répertoire de votre choix (je supposerai que c'est C:\Caml\ dans la suite). Il devrait maintenant y avoir une icône O'Caml sur votre bureau : il s'agit du frontend, ou système interactif. En clair, vous tapez un programme et l'envoyez au système Caml qui se charge de le compiler, l'exécuter et te renvoyer le résultat. Un autre moyen d'utiliser Caml est de compiler puis d'exécuter le programme à partir d'un shell (le prompt MS-DOS sous windows). Double-cliquez sur Objective Caml : nous voici prêts à commencer. Mon premier programme C'est une tradition dans la littérature informatique, le premier programme affiche la chaine de caractère "Hello World". Nous ne dérogerons pas à cette règle. Il faut donc taper les lignes suivantes, en respectant la casse et la ponctuation (NB : un copier/coller ne servira pas à grand chose...) : let monPremierProgramme() = print_string "Hello World"; print_newline();; monPremierProgramme();; S'il n'y a pas d'erreur, Caml vous affiche "Hello World" et renvoie la main (c'est le #). Examinons notre code (très simple) : La première ligne déclare la fonction monPremierProgramme au système. Une déclaration de quelque type que ce soit utilise toujours le mot clé let , le nom de ce qu'on veut déclarer, éventuellement les arguments en cas de déclaration de fonction et enfin le signe =. La déclaration est terminée lorsque l'on rencontre le mot clé in ou ;; (j'y reviendrai). Comme notre fonction ne doit rien prendre en argument, on le lui précise avec les parenthèses (). On définit ensuite le corps de la fonction qui consiste en 2 lignes : afficher la chaine (string en anglais) puis effectuer un retour à la ligne. La fonction print_string prend une chaine de caratères en argument et la fonction print_newline ne prend rien : on lui donne donc encore (). On remarque que deux instructions sont séparées par un ; La fin d'une séquence d'instructions est déclarée par ;; Enfin, nous n'avons jusqu'ici fa

Aller au Forum:

BbobounetConfirméNiveau 7 · CinéphageRéférenceur Novice

Membre depuis: 2002
Messages: 1385

Plus

Membre n°: 699
Inscription: 18 Mar 2002
Localisation: Paris
Âge: 44 ans
Sujets lancés: 18
Ancienneté: 100 %
Participation: 57 %
Temps en ligne: 16 Jours, 16 Heures, 41 Minutes, 39 Secondes en ligne

10-02-2004 23:56

Merci de continuer à mettre ton Tuto à jour Zakath.
Tu parles dans une langue que je comprend

| IP: Logguée

PROFIL PM RECH. AMISÉDITER CITER

ZZakathGuruNiveau 29 · CascadeurRéférenceur Aguerri

Membre depuis: 2002
Messages: 9866

Plus

Membre n°: 7213
Inscription: 15 Dec 2002
Localisation: Copenhague
Sujets lancés: 426
Ancienneté: 97 %
Participation: 92 %
Temps en ligne: 103 Jours, 6 Heures, 15 Minutes, 39 Secondes en ligne

11-02-2004 00:28

Heureux de voir que ça sert à des gens...

N'hésite surtout pas à me dire ce qui n'est pas clair, bien au contraire.
Je vais essayer de continuer ça à peu près régulièrement.

__________________
Allez jeter un œil à mon portfolio !

| IP: Logguée

PROFIL PM WWW RECH. AMISÉDITER CITER

SSolacinGuruNiveau 11 · CinéphileRéférenceur Novice

Membre depuis: 2003
Messages: 8254

Plus

Membre n°: 11117
Inscription: 23 Mar 2003
Localisation: 974
Âge: 52 ans
Sujets lancés: 28
Ancienneté: 96 %
Participation: 89 %
Temps en ligne: 25 Jours, 5 Heures, 22 Minutes, 48 Secondes en ligne

11-02-2004 05:17

Vivi, on aimerait bien avoir la suite des aventures de Caml nous !!!!

__________________

| IP: Logguée

PROFIL PM RECH. AMISÉDITER CITER

ZZakathGuruNiveau 29 · CascadeurRéférenceur Aguerri

Membre depuis: 2002
Messages: 9866

Plus

Membre n°: 7213
Inscription: 15 Dec 2002
Localisation: Copenhague
Sujets lancés: 426
Ancienneté: 97 %
Participation: 92 %
Temps en ligne: 103 Jours, 6 Heures, 15 Minutes, 39 Secondes en ligne

27-03-2004 19:11

Devant le manque total de feedback sur ce tuto, j'ignore si il a servi à quelqu'un et si il est nécessaire / souhaitable que je le poursuive...

Cela intéresse-t-il réellement quelqu'un ?

__________________
Allez jeter un œil à mon portfolio !

| IP: Logguée

PROFIL PM WWW RECH. AMISÉDITER CITER

RRhEcKGuruNiveau 19 · ChroniqueurRéférenceur Novice

Membre depuis: 2002
Messages: 7657

Plus

Membre n°: 5548
Inscription: 31 Oct 2002
Localisation: amiens
Âge: 42 ans
Sujets lancés: 66
Ancienneté: 98 %
Participation: 88 %
Temps en ligne: 23 Jours, 18 Heures, 29 Minutes, 34 Secondes en ligne

28-03-2004 18:47

moi ca m'interesserai.. disons pour comprendre les differences caml light / obj caml

et aussi pour la programmation poussée...

mais le reste ca va quoi

__________________
mess with the best, die like the rest

<<~~=!!!RhEcK!!!=~~>>

| IP: Logguée

PROFIL PM RECH. AMISÉDITER CITER