Parce qu’Haskell est un langage purement fonctionnel, tous les calculs sont fait via l’évaluation d’expressions (terme syntaxique) qui retournent des valeurs (entités abstraites que l’on considère comme des réponses). À chaque valeur est associé un type (intuitivement, on peut se représenter les types comme des ensembles de valeurs). Les expressions peuvent être des valeurs atomiques telles que l’entier 5, le caractère ‘a’, ou la fonction \x -> x+1, mais elles peuvent aussi être des valeurs structurées telle que la liste [1,2,3] ou la pair (‘b’,4).

Avec Haskell, toutes les valeurs sont dites de « première-classe », c’est à dire qu’elles peuvent être passées à des fonctions en tant qu’arguments, retournées en tant que résultats, placées dans des structures de données, etc. En revanche, les types ne sont pas de « première-classe ». En un sens, les types décrivent des valeurs; On appelle typage, l’association d’une valeur avec son type.

Cours complet sur le langage Haskell ? vous pouvez télécharger des autoformations Fortran pdf pour débuter avec le langage de programmation Haskell, vous allez aussi pouvoir améliorer vos connaissances sur les outils pour programmer en Haskell sans difficultés. Aussi une sélection des meilleurs formations et cours avec exemple de programmation fonctionnel pour apprendre a programmer en Haskell.

Le système de typage statique d’Haskell définit une relation formelle entre des types et des valeurs (4.1.4). Ce système garantit que les programmes Haskell opèrent sur des types cohérents; autrement dit, que le programmeur n’aura pas d’erreurs d’incompatibilité de types. Par exemple, il n’est pas possible, en principe, d’additionner deux caractères; ainsi, l’expression ‘a’+’b’ est incohérente en raison du type de ses opérandes (en anglais on dit que l’expression est ill-typed). L’avantage principal des langages à types statiques est bien connu : toutes les erreurs de type sont détectées à la compilation. Cependant, un tel système ne peut détecter toutes les erreurs; le type d’une expression telle que 1/0 n’est pas incohérent mais son évaluation provoquera une erreur à l’exécution. Néanmoins, ce système permet de détecter beaucoup d’erreurs à la compilation, d’aider l’utilisateur à raisonner sur les programmes, et permet également au compilateur de générer un code plus efficace (par exemple, les marqueurs ou les tests de type ne sont pas requis à l’exécution).
Haskell intègre également les types polymorphes, c’est-à-dire des types qui sont universellement quantifiés d’une certaine manière pour tous les types. Les expressions de type polymorphes décrivent essentiellement des familles de types. Par exemple, (forall a)[a] est la famille de types qui comprend, pour tout type a, le type de listes de a. Les listes d’entiers (p. ex. [1,2,3]), les listes de caractères (p. ex. [‘a’,’b’,’c’]), et même les listes de listes d’entiers (p. ex. [[1,2,3],[4,5,6]]), etc. sont toutes membres de cette famille. (Notons, toutefois, que [2,’b’] n’est pas un exemple valide, puisqu’il n’existe pas de type simple contenant à la fois 2 et ‘b’.)