From: Emmanuel Dorlet <dorlet@soleil.serma.cea.fr>
To: Liste-Caml <caml-list@pauillac.inria.fr>
Subject: Primitives d'interrogations sur les types
Date: Mon, 12 Oct 1998 10:28:33 +0200 [thread overview]
Message-ID: <3621BDB1.5F6AC02C@soleil.serma.cea.fr> (raw)
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
-----------------------------
next reply other threads:[~1998-10-12 8:56 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-10-12 8:28 Emmanuel Dorlet [this message]
1998-10-16 15:23 ` Xavier Leroy
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=3621BDB1.5F6AC02C@soleil.serma.cea.fr \
--to=dorlet@soleil.serma.cea.fr \
--cc=Emmanuel.Dorlet@cea.fr \
--cc=caml-list@pauillac.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox