18.11.2014 Views

Langages de l'informatique

Langages de l'informatique

Langages de l'informatique

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Machine p. 197 - virtuelle Licence <strong>de</strong>s droits d’usage en page 2.<br />

Les types génériques<br />

<strong>Langages</strong> <strong>de</strong> l’informatique<br />

Patrick Bellot<br />

Introduction<br />

Les langages<br />

Les paradigmes<br />

Modèle impératif abstrait<br />

Boehm et Jacopini<br />

Programmation impérative<br />

Programmation fonctionnelle<br />

Programmation en logique<br />

Gestion <strong>de</strong> la mémoire<br />

Quatre types <strong>de</strong> mémoire<br />

Gérer sa mémoire<br />

Comptage <strong>de</strong> référence<br />

Syntaxe et sémantique<br />

Sémantiques<br />

Analyse lexicale<br />

Analyse syntaxique<br />

Compilation<br />

Interprétation<br />

Un type générique est un type paramétré par un autre type.<br />

C’est le cas <strong>de</strong>s types tableau dans tous les langages <strong>de</strong><br />

programmation.<br />

Certains langages proprosent <strong>de</strong> réaliser <strong>de</strong>s déclarations <strong>de</strong><br />

types génériques.<br />

En C ++ , les templates.<br />

En Java, les classes génériques.<br />

En Eiffel, les classes génériques.<br />

En Ada<br />

generic<br />

type ITEM is private ;<br />

package LISTE is<br />

...<br />

...<br />

end LISTE ;<br />

package INTLIST is new LIST[ITEM => INTEGER] ;

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!