Newsgroups: fr.announce.seminaires
Distribution: fr
From: Nelly.Maloisel@inria.COUPER-MOI.fr
Organization: INRIA-Rocquencourt
Subject: SEM - INRIA : Cristal - 19/2/99 - Paris - FR

           http://pauillac.inria.fr/bin/calendar/Seminaires


                             S E M I N A I R E
       ____               ____                             ___                
      /    _   _         /     __     __  /_  _   /       /   |  _   __   _   
     /    / \ / \  ___  /     /  | / /_  /   __| /  ___  /___/  __| /  | __|  
    |___  |_/ |_/      |____ /    / __/ |_  |_/ |_      /      |_/ /    |_/   
               /                                                              
              /                                                               
                          I N R I A - Rocquencourt, 
                       Salle de conference du Bat 11

                         Vendredi 19 fevrier, 10h30

                              ----------------
                              Garrigue Jacques
                              ----------------

                              Kyoto University

                ============================================
                LablGL: une interface bien typée pour OpenGL
                ============================================

Interfacer les langages de programmation fonctionnelle avec le monde
extèrieur pose plusieurs sortes de problèmes. Certaines techniques :
conversion des données, compatibilité avec le GC. D'autres
conceptuels : comment encapsuler les effets de bord. Mais aussi des
problèmes de typage : faute d'un système de typage suffisamment
puissant, les bibliothèques créées dans des langages traditionnels
comme C sont faiblement typées. Même si les langages fonctionnels
fournissent un système de typage plus puissant, il est en général
débordé par de telles bibliothèques. LablGL démontre comment les
extensions propres à Objective Label ---variantes polymorphes et
paramètres optionnels--- permettent de typer fortement une
bibliothèque qui ne l'était pas.