Is there any free OCaml to C translator? [closed]

Question

So I have nice OCaml code (50000 lines). I want to port it to C. So Is there any free OCaml to C translator?

Answer 1

There is an OCaml bytecode executable file to C source code compiler: https://github.com/ocaml-bytes/ocamlcc

So, first compile your code to a bytecode executable then use ocamlcc.

Answer 2

This probably isn't what you want, but you can get the OCaml compiler to dump its runtime code in C:

ocamlc -output-obj -o foo.c foo.ml

What you get is basically a static dump of the bytecode. The result will look something like:

#include <caml/mlvalues.h>
CAMLextern void caml_startup_code(
           code_t code, asize_t code_size,
           char *data, asize_t data_size,
           char *section_table, asize_t section_table_size,
           char **argv);
static int caml_code[] = {
0x00000054, 0x000003df, 0x00000029, 0x0000002a, 0x00000001, 0x00000000, 
/* ... */
}

static char caml_data[] = {
132, 149, 166, 190, 0, 0, 3, 153, 0, 0, 0, 118, 
/* ... */
};

static char caml_sections[] = {
132, 149, 166, 190, 0, 0, 21, 203, 0, 0, 0, 117, 
/* ... */
};

/* ... */

void caml_startup(char ** argv)
{
    caml_startup_code(caml_code, sizeof(caml_code),
                      caml_data, sizeof(caml_data),
                      caml_sections, sizeof(caml_sections),
                      argv);
}

You can compile it with

gcc -L/usr/lib/ocaml foo.c -lcamlrun -lm -lncurses

For more information, see the OCaml manual.