_____________________________________________________________
�COLE POLYTECHNIQUE F�D�RALE DE LAUSANNE
D�PARTEMENT D'INFORMATIQUE LABORATOIRE DE G�NIE LOGICIEL
_____________________________________________________________
Annonce de s�minaire du LGL
------------------------------
Langages purement fonctionnels
modernes
------------------------------
Mardi 23 novembre 1993
16:15 heures - salle INJ 218
Ecole Polytechnique F�d�rale de Lausanne - site Ecublens
B�timent du D�partement d'Informatique
par Gabriel ECKERT
(Gabriel.Eckert @ di.epfl.ch)
R�sum�
Par opposition au paradigme traditionnel de la programmation
imp�rative, la programmation fonctionnelle offre des avantages
appr�ciables: style d�claratif, mod�le s�mantique simple et bien
connu, parall�lisme inh�rent.
Cette pr�sentation d�crira d'une part ce qui fait l'essence de
l'approche fonctionnelle pure et d'autre part diverses particularit�s
que l'on trouve dans des langages fonctionnels modernes tels Miranda et
Haskell: composition de fonctions, instanciation partielle, appariement
de motifs, inf�rence de type, polymorphisme, �valuation paresseuse.
Le but est de fournir un aper�u des principes et des techniques de
programmation fonctionnelle, illustr� d'exemples et de consid�rations
pratiques.
Biographie
Gabriel Eckert est ing�nieur ETS et EPFZ et il est titulaire d'un MSc.
en Software Engineering de l'Universit� Aston de Birmingham. Apr�s
plusieurs ann�es d'activit�s de d�veloppement au sein d'entreprises
romandes, il a rejoint le Laboratoire de G�nie Logiciel. Ses int�r�ts
vont principalement vers les approches par objets, en particulier lors
de l'analyse et de la sp�cification.
S�minaires � venir:
30.11 Open Issues in Testing Object-Oriented Software, S.Barbey
M. Kempe, EPFL-DI-LGL
Magnus.Kempe @ di.epfl.ch