LANGAGE CAML

WEIS

CAML est un langage de programmation de conception récente qui
réussit à
être à la fois très puissant et cependant simple à comprendre.
Issu d'une
longue réflexion sur les langages de programmation, Caml
s'organise au
tour d'un petit nombre de notions de base, chacune facile à
comprendre, et
dont la combinaison se révèle extrêmement féconde. La
simplicité et la rigueur
de Caml lui valent une popularité grandissante dans
l'enseignement de l'infor-
matique, en particulier comme premier langage dans des cours
d'initiation à la
programmation. Son expressivité et sa puissance en font un
langage de choix
dans les laboratoires de recherche, où il a été utilisé pour
traiter des problèmes
parmi les plus ardus de l'informatique: démonstration assistée
par ordinateur,
analyses automatique de programmes, systèmes de réécriture,
compilation et
métacompilation. En bref, Caml est un langage facile avec
lequel on résout des
problèmes difficiles.
Longtemps réservé à de grosses machines coûteuses, le
langage Caml est
depuis peu disponible gratuitement sur tonte une gamme de
machines, du
micro-ordinateur personnel (PC, Macintosh, ... aux stations de
travail les
plus puissantes, ce qui le rend accessible à un vaste public,
de l'amateur curieux
au professionnel chevronné en passant par l'étudiant
informaticien. A ce vaste
public, Caml apporte une nouvelle approche de la programmation,
des plus
fructueuses. L'investissement que vous ferez en apprenant Caml
ne sera pas
vain: vous constaterez que le langage vous ouvre des horizons
nouveaux et qu'il
est assez puissant pour que vous y exprimiez simplement des
idées complexes.
Ce qui se conçoit bien s'énonce clairement et les programmes
pour le dire vous
viennent aisément en Caml.

Ce livre se propose donc de faire découvrir Caml à tous ceux
qui s'in-
téressent à la programmation. Nous nous sommes efforcés
d'écrire un livre
accessible à tout "honnête homme ", mais qui permette cependant
de maîtri-
ser le langage et d'en saisir les beautés. Pour ce faire, nous
avons combiné une
introduction progressive aux principaux traits du langage avec
un véritable
cours de programmation, illustré de très nombreux exemples de
programmes
qui vous permettront de saisir comment on utilise Caml et de
vous approprier
petit à petit ce merveilleux outil. Les exemples vont jusqu'au
développement
de programmes complets et d'une longueur respectable. Nous nous
efforçons
de justifier ces exemples, en les replaçant dans leur contexte
et en analysant
la clarté et l'efficacité des solutions proposées. Cet ouvrage
s'organise comme
suit:

* La partie I, " Programmer en Caml", introduit
progressivement les traits
du langage et les méthodes essentielles de programmation en
Caml.

* La partie II, " Exemples complets ", montre comment
résoudre en Caml
un certain nombre de problèmes réalistes de programmation.

* La partie III, " Introspection", ébauche une implémentation
de Caml en
Caml, expliquant ainsi le typage et l'évaluation de Caml.

En complément de ce livre, les auteurs ont écrit un second
ouvrage, intitulé
Manuel de référence du langage Caml et publié par le même
éditeur, contenant
tout ce qui est nécessaire au programmeur Caml expérimenté: un
manuel de
référence du langage Caml et un manuel d'utilisation du système
Caml Light, le
compilateur Caml que nous utilisons dans ce livre. Les deux
livres sont conçus
pour être utilisés ensemble: le présent ouvrage renvoie au
manuel de référence
pour une description exhaustive du langage et des explications
détaillées de
certains points techniques; le manuel de référence suppose
connues les notions
introduites dans cet ouvrage.

dunod - page 1
dunod - page 2
dunod - page 3
dunod - page 4
dunod - page 5
dunod - page 6
dunod - page 7
dunod - page 8
dunod - page 9
dunod - page 10
dunod - page 11
dunod - page 12
Librairie spécialisée en ouvrages scientifiques et techniques