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.

Le Paradigme Fonctionnel<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 />

Un doublet est noté (a . b)<br />

Une liste est notée (a b c d)<br />

C’est en fait (a . (b . (c . (d .()))))<br />

On parle <strong>de</strong> :<br />

tête ou car <strong>de</strong> liste pour le premier élément ;<br />

et <strong>de</strong> queue ou cdr <strong>de</strong> liste pour la liste privée <strong>de</strong><br />

son premier éléement.<br />

? (<strong>de</strong>fun last(x)<br />

(if (null (cdr x))<br />

(car list)<br />

(last (cdr x))))<br />

= last<br />

? (last ’(a b c d))<br />

= d<br />

Compilation<br />

Interprétation<br />

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

NB. Les programmes sont <strong>de</strong>s listes.

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

Saved successfully!

Ooh no, something went wrong!