RAPPEL---RAPPEL--RAPPEL
_____________________________________________________________
�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
dur�e: un peu plus d'une heure
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.
Ce s�minaire est ouvert � tout le monde.
M. Kempe, EPFL-DI-LGL
Magnus.Kempe @ di.epfl.ch
Si vous d�sirez recevoir des indications pour atteindre l'EPFL ou la
salle de pr�sentation, ou si vous d�sirez �tre mis sur notre liste de
distribution �lectronique, veuillez envoyer un message �lectronique �
Magnus.Kempe @ di.epfl.ch