Re: (*)CaML -> SML ?

From: Emmanuel CHAILLOUX (Emmanuel.Chailloux@lip6.fr)
Date: Thu May 14 1998 - 17:51:46 MET DST


Message-Id: <199805141551.RAA00809@micmac.lip6.fr>
From: Emmanuel CHAILLOUX <Emmanuel.Chailloux@lip6.fr>
Date: Thu, 14 May 98 17:51:46 +0200
To: Pascal.Poizat@irin.univ-nantes.fr (Pascal Poizat)
Subject: Re: (*)CaML -> SML ?

> Je me demandais s'il y avait un outil du style (*)CaML vers SML =
en
> passant
> par CaMLp4 par exemple ? Je pense qu'il faut aussi ne pas =
utiliser
> certains traits
> de CamlLight...

On avait ecrit un outil pour traduire du caml-light 0.7 en SML =
0.93. L'idee etait de developper en
caml-light et de pouvoir diffuser dans les differents dialectes =
ML. C'est cet outil qui a ete utilise
pour la bibliotheque MLgraph : =
ftp://ftp.ens.fr/pub/unix/lang/MLgraph/version-2.1/

C'est un outil d'aide a` la traduction et non pas un compilateur =
de caml-light -> SML

   - tout caml-light ne passe pas :
         streams,..

   - il peut avoir des erreurs a` la compilation du fichier SML =
engendre :
           variables de type faible, operateurs polymorphes =
d'inegalite, types acceptant l'egalite

   - et a` l'execution :
           semantique differente de l'egalite, ordre d'evaluation =
specifie en SML.
          

Il y a un papier des JFLA 96 dessus :

   Caml2sml : un outil d'aide a` la traduction de Caml-Light vers =
Sml/nj
   E. Chailloux, L. Kirsch et S. Lucas

Emmanuel Chailloux...=



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