TYPE

Syntaxe

Paramètres

Description

Ce mot réservé permet de définir des types de données utilisateur. Un type de données détermine l'ensemble des valeurs que les variables de ce type peuvent prendre et associe un identifiant au type. Dans le cas des types structurés, cela définit également leur méthode de structuration.

Remarque

• Type scalaire : Un type scalaire définit un ensemble ordonné de valeurs en énumérant les identificateurs désignant ces valeurs. Ainsi, dans le cas du Pascal, il s'agit donc de caractères ou de nombres.
• Le mot clef TYPE permet de créer des types personnalisés pour nommer des structures complexes. Cela améliore la lisibilité et la réutilisabilité du code, notamment dans les programmes longs. C'est un outil essentiel pour structurer proprement les données.
• Définir un TYPE permet d'éviter la répétition de définitions longues ou complexes. Par exemple, un tableau ou un enregistrement peut être défini une fois et utilisé partout. Cela favorise la centralisation des définitions et la maintenance du code.
• Les types scalaires, tels que les énumérations, permettent d'améliorer la clarté sémantique. Plutôt que d'utiliser des entiers bruts, on peut définir des valeurs nommées compréhensibles. C'est une bonne pratique pour réduire les erreurs de logique.
• Le mot clef TYPE est aussi utilisé pour déclarer des types structurés, comme RECORD ou SET. Cela permet de construire des objets complexes correspondant précisément aux besoins du programme. Ces structures sont fondamentales pour la programmation modulaire en Pascal.
• La syntaxe Type ident = type-description permet d'associer un nom explicite à une structure de données. Cela rend les signatures de fonctions plus explicites et les programmes plus auto-documentés. Un bon nom de type reflète l'intention de son usage.
• La déclaration d'un type utilisateur permet aussi de changer facilement d'implémentation. En modifiant la définition d'un type, toutes les variables l'utilisant sont automatiquement mises à jour. Cela facilite l'évolution du code sans risque de rupture.
• Dans certains cas, les types définis par l'utilisateur peuvent même être auto-référents, comme les listes chaînées. Cela montre la puissance de la déclaration de types pour implémenter des structures dynamiques. C'est un fondement de la programmation de bas niveau en Pascal.
• Utiliser TYPE encourage la programmation défensive : on limite les valeurs autorisées et on impose des contraintes. Par exemple, des sous-types ou des ensembles définis réduisent les possibilités d'erreurs d'affectation. Ce mécanisme est conforme à la rigueur typique du langage Pascal.