From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA21486 for caml-redistribution; Mon, 12 Oct 1998 10:56:13 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA09564 for ; Mon, 12 Oct 1998 10:29:59 +0200 (MET DST) Received: from nenuphar.saclay.cea.fr (nenuphar.saclay.cea.fr [132.166.192.7]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id KAA14000 for ; Mon, 12 Oct 1998 10:29:58 +0200 (MET DST) Received: from soleil.serma.cea.fr (soleil.serma.cea.fr [132.166.148.11]) by nenuphar.saclay.cea.fr (8.9.1a/8.9.1/CEAnet-relay-5.0.0.1) with ESMTP id KAA10011 for ; Mon, 12 Oct 1998 10:29:55 +0200 (MET DST) Received: from soleil.serma.cea.fr by soleil.serma.cea.fr (8.6.10/PROTO-CEANET-3.0) with ESMTP id KAA11855 for ; Mon, 12 Oct 1998 10:29:54 +0200 Message-ID: <3621BDB1.5F6AC02C@soleil.serma.cea.fr> Date: Mon, 12 Oct 1998 10:28:33 +0200 From: Emmanuel Dorlet Reply-To: Emmanuel.Dorlet@cea.fr Organization: CEA-DRN/DMT/SYSCO X-Mailer: Mozilla 4.05 [en] (WinNT; I) MIME-Version: 1.0 To: Liste-Caml Subject: Primitives d'interrogations sur les types Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Content-Transfer-Encoding: 8bit Sender: weis 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 -----------------------------