Primitives d'interrogations sur les types

From: Emmanuel Dorlet (dorlet@soleil.serma.cea.fr)
Date: Mon Oct 12 1998 - 10:28:33 MET DST


Date: Mon, 12 Oct 1998 10:28:33 +0200
From: Emmanuel Dorlet <dorlet@soleil.serma.cea.fr>
To: Liste-Caml <caml-list@pauillac.inria.fr>
Subject: Primitives d'interrogations sur les types

Français
======
Pour les besoins des dévellopements autour du projet ELAN, nous aurions
(en première analyse)
besoin d'accéder par programme aux définitions des types et des objets
d'un programme Ocaml:
    - type (nom du type) d'une variable
    - nom et type des champs d'un type structuré
    - classe d'une instance
    - nom et type des attributs d'une instance de classe
    - méthodes d'une classe

Ceci est envisagé dans un premier temps pour permettre à une application
située en frontale des codes (c'est
à dire qu'un top-level Ocaml est lié aux codes de calcul C / Fortran) et
qui dispose d'un déclaration Ocaml
des type de données en entrée/sortie de ces codes, de générer une
interface de saisie (via un outil d'IHM ad-hoc)
pour les entrées ou de visualisation pour les sorties. Il est clair que
nous aimerions que la déclaration de type
ou d'objet Ocaml soit auto-suffisante.
Passer par une définition formelle des structures dans un pseudo-langage
(un IDL quelconque) semble bien
inutile, puisque l'on dispose d'une définition claire et complète avec
Ocaml!

Il semble bien que le top-level dispose de tels connaissances, puisqu'il
sait les afficher!

Est-ce un besoin qui vous semble raisonnable et d'un intérêt général?
Envisageriez-vous de mettre à disposition un bibliothèque d'API à ces
informations?

============================================================
English (short version)
----------------------

We need to access dynamicaly in a top-level to informations on Ocaml
types and objects:
    - type (name of) of a variable
    - names and types of structure fields
    - class of an instance
    - name and type of a class
Those informations seems to be available in the top-level kernel !
Is there a hope that an API library to those informations is juged of a
wide interest and
that it would be made available in a futur release ?

-----------------------------
Emmanuel Dorlet
CEA centre de Saclay
DRN/DMT/SYSCO
91191 GIF sur Yvette
email: Emmanuel.Dorlet@cea.fr
tel: (33) 01 69 08 91 17
sec: (33) 01 69 08 91 10
fax: (33) 01 69 08 96 96
-----------------------------



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:16 MET