Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: (*)CaML -> SML ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

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