Le langage caml Pierre Weis Xavier Leroy LE LANGAGE CAML Deuxi eme ?edition CCopyright Pierre Weis et Xavier Leroy Ce texte est distribu ?e sous les termes de la licence Creative Commons BY-NC-SA Le texte complet de la licence est disponible al ? adresse
Pierre Weis Xavier Leroy LE LANGAGE CAML Deuxi eme ?edition CCopyright Pierre Weis et Xavier Leroy Ce texte est distribu ?e sous les termes de la licence Creative Commons BY-NC-SA Le texte complet de la licence est disponible al ? adresse suivante http creativecommons org licenses by-nc-sa fr legalcode Voici un r ?esum ?e des droits et conditions de cette licence ? Vous etes libres ?? de reproduire distribuer et communiquer cette cr ?eation au public ?? de modi ?er cette cr ?eation ? Selon les conditions suivantes ?? Paternit ?e Vous devez citer le nom de l ? auteur original de la maniere indiqu ?ee par l ? auteur de l ? oeuvre ou le titulaire des droits qui vous confere cette autorisation mais pas d ? une maniere qui sugg ?ererait qu ? ils vous soutiennent ou approuvent votre utilisation de l ? oeuvre ?? Pas d ? Utilisation Commerciale Vous n ? avez pas le droit d ? utiliser cette cr ?eation ades ?ns commerciales ?? Partage des Conditions Initiales a l ? Identique Si vous modi ?ez transformez ou adaptez cette cr ?eation vous n ? avez le droit de distribuer la cr ?eation qui en r ?esulte que sous un contrat identique a celui-ci ? A chaque r ?eutilisation ou distribution de cette cr ?eation vous devez faire appara tre clairement au public les conditions contractuelles de sa misea disposition La meilleure mani ere de les indiquer est un lien la page Web ci-dessus ? Chacune de ces conditions peut etre lev ?ee si vous obtenez l ? autorisation du titulaire des droits sur cette oeuvre ? Rien dans ce contrat ne diminue ou ne restreint le droit moral de l ? auteur ou des auteurs CAmes parents A Suzanne et Michel ALise Marie Jean-Baptiste et Irene AH ?elene Pierre Weis C CTable des mati eres Avant-propos xi I Programmer en Caml Avertissement Premiers pas Id ?ees g ?en ?erales sur Caml Dialoguer avec Caml Les d ?e ?nitions Fonctions Valeurs et programmes Impression Conventions syntaxiques Diagrammes syntaxiques R ?ecursivit ?e Fonctions r ?ecursives simples D ?e ?nitions par cas le ?ltrage Les tours de Hanoi Notions de complexit ?e Programmation imp ?erative La programmation imp ?erative Boucles Manipulation de polyno mes Impression des polyno mes Caracteres et cha nes de caracteres Les r ?ef ?erences Un programme utilisant des r ?ef ?erences R ?ecursivit ?e et boucles R egle d ? extensionnalit ?e E ?ets et ?evaluation Fonctionnelles et polymorphisme Notion de polymorphisme Fonctions d ? ordre sup ?erieur Typage et polymorphisme Curry ?cation Cviii Une fonctionnelle de tri polymorphe La pleine fonctionnalit ?e Composition de fonctions Listes Pr ?esentation Programmation assist ?ee par ?ltrage Tri par insertion Fonctionnelles simples sur les listes Les polyno mes creux Filtrage explicite Op ?erations sur les polyno mes creux Animation des tours de Hanoi Fonctionnelles complexes sur les listes E ?cacit ?e des fonctions sur les listes ?etude de cas Listes et r ?ecurrence Ala recherche de
Documents similaires
-
28
-
0
-
0
Licence et utilisation
Gratuit pour un usage personnel Aucune attribution requise- Détails
- Publié le Jan 06, 2022
- Catégorie Law / Droit
- Langue French
- Taille du fichier 1.8MB