A Gentle Introduction to Haskell, version 98

Date de publication : 01/05/2007 , Date de mise à jour : 25/10/2007

Il s'agit d'une traduction d'un ouvrage de référence sur Haskell écrit par : Paul Hudak (Yale University), John Peterson (Yale University) et Joseph Fasel (Los Alamos National Laboratory)
Vous y trouverez une présentation de toutes les grandes caractéristiques du langage Haskell. Attention, il est toutefois conseillé d'avoir de bonnes bases de programmation fonctionnelle avant de se lancer dans sa lecture.

Nous tenons à remercier Gnux, ggnore, fearyourself, Heureux-oli, Kikof et khayyam90 pour leurs soutiens et leurs relectures.

Sommaire Suivant

Introduction
I. Introduction
Valeurs, types, et autres friandises
II. Valeurs, types, et autres friandises
II-1. Les types polymorphes
II-2. Types définis par l'utilisateur
II-2-1. Les types récursifs
II-3. Les synonymes de Type
II-2-4. Les types internes n'ont rien de particulier
II-4-1. Les compréhensions de listes et les séquences arithmétiques
II-4-2. Chaînes de caractères
Les Fonctions
III. Les Fonctions
III-1. Les abstractions lambda
III-2. Opérateurs inﬁxes
III-2-1. Sections
III-2-2. Les déclarations de ﬁxité
III-3. Les fonctions sont non-strictes
III-4. Les structures de données "inﬁnies"
III-5. La fonction d’erreur
Les Expressions Case et la correspondance de motifs
IV. Les Expressions Case et la correspondance de motifs
IV-1. La sémantique des correspondances de motifs
IV-2. Un exemple
IV-3. Les expressions casuelles (Case expressions)
IV-4. Les motifs paresseux (Lazy-patterns)
IV-5. Cadrage lexical et formes emboîtées
IV-6. Mise en forme
Les Classes de types et la surcharge
V. Les classes de types et la surcharge
Les types, encore
VI. Les types, encore
VI-1. La déclaration newtype
VI-2. Les étiquettes de champs
VI-3. Les constructeurs stricts de données
Entrées/Sorties
VII. Entrées/Sorties
VII-1. Opérations d’E/S de base
VII-2. Programmer avec des actions
VII-3. Gestion des exceptions
VII-4. Fichiers, canaux et gestionnaires
VII-5. Haskell et la programmation impérative
Les Classes standards de Haskell
VIII. Standard Haskell Classes
VIII-1. Classes pour l'égalité et la relation d'ordre
VIII-2. La Classe Enumeration
VIII-3. Les Classes Read et Show
VIII-4. Les Instances dérivées
Les Monades
IX. A propos des monades
IX-1. Les classes monadiques
IX-2. Les monades intégrées
IX-3. Utilisation des monades
Les Nombres
X. Les Nombres
X-1. Structure des classes numériques
X-2. Les Nombres construits
X-3. Les Conversions numériques et les surcharges de littéraux
X-4. Les Types numériques par défaut
Les Modules
XI. Les Modules
XI-1. Les Noms qualifiés
XI-2. Les Types de données abstraits
XI-3. Plus de caractéristiques
Les Pièges du typage
XII. Pièges du typage
XII-1. Let-Bound Polymorphism
XII-2. Surcharge numérique
XII-3. Les Restrictions monomorphiques
Les Tableaux
XIII. Les Tableaux
XIII-1. Les types d'indice
XIII-2. Création d'un tableau
XIII-3. Accumulation
XIII-4. Mises à jour incrémentales
XIII-5. Un exemple : la multiplication matricielle
Conclusion
XIV. Conclusion
XIV-1. Prochaine étape
XIV-2. Remerciements

Sommaire Suivant

Copyright (C) 1999 Paul Hudak, John Peterson and Joseph Fasel Permission is hereby granted, free of charge, to any person obtaining a copy of "A Gentle Introduction to Haskell" (the Text), to deal in the Text without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Text, and to permit persons to whom the Text is furnished to do so, subject to the following condition: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Text.