English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
A C to OCaml helper ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-03-13 (03:14)
From: Jon Harrop <jon@f...>
Subject: Re: [Caml-list] A C to OCaml helper ?
On Wednesday 12 March 2008 19:42:17 Fabrice Marchant wrote:
>   Hi !
> Please does it exist some tool that could do at least the very mechanical
> first parts of the translation of a C source to OCaml ?

I do not believe such a tool exists but it would be a great educational 
exercise to try and write one. I can't think of any particularly difficult 
aspects. Maybe goto statements but they can be compiled to nested functions 
that call each other.

Dr Jon D Harrop, Flying Frog Consultancy Ltd.