Fabrice Marchant wrote:
> 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 ?
Why do you want to do that?
You could call most of your C routines from Ocaml.
And most importantly, the main interest of ocaml is the way of thinking
it. When mastered, it is a language much more expressive & much more
fun. And no mechanical translation would give you that....
If it is a homework, better to start thinking & coding in Ocaml, than to
translate blindly C into Ocaml.
And a blind translation won't learn anything about Ocaml or functional
programming.
--
Basile STARYNKEVITCH http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mines, sont seulement les miennes} ***