Version française
Home     About     Download     Resources     Contact us    
Browse thread
Primitives d'interrogations sur les types
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Emmanuel Dorlet <dorlet@s...>
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
-----------------------------