1.3. Nomenclature

Au vu des langages préalablement cités ci-dessus, on peut ébaucher une nomenclature de typage, tous langages confondus (cette nomenclature est sûrement incomplète) :

• Les types de base (scalaires)
  • discrets :
    • entiers
    • énumérés
    • intervalles
  • réels:
    • virgule flottante
    • virgule fixe

• Les types structurés (composés)
  • structures statiques
    • tableaux
    • enregistrements
    • chaînes de caractères
    • ensembles
  • structures dynamiques
    • structures non récursives : les fichiers séquentiels
    • structures récursives
      • structures récursives linéaires : (chaînes, anneaux, chaînes bidirectionnelles, anneaux bidirectionnels)
      • structures récursives non-linéaires : (les listes, les arbres, les graphes, les réseaux)

• Les types exécutables
  • procédures (Modula 2)
  • tâches (Ada)
  • prédicats (Prolog)

Comme on le verra par la suite, dans un langage donné, certains de ces types sont prédéfinis et certains autres doivent être construits par le programmeur. Par exemple, les listes sont prédéfinies en Prolog ou en Lisp alors qu'elles doivent être construites en Pascal. Certains types ne pourront toutefois pas être construits par le programmeur; ainsi, il est difficile, voire impossible, d'implanter les types exécutables dans un langage qui n'a rien de prévu à cet effet.

Pour la suite de ce cours, nous nous baserons principalement sur le langage PASCAL, nous n'aborderons donc pas dans le détail les types exécutables.

2. Les types scalaires.

Table des matières.

Site Hosting: Bronco