C as an Intermediate Language (2012)

Re:C as an Intermediate Language (2012) by loup-vaillant on Monday May 16, 2016 @03:21AM (#11704786)

Nothing of the sort.

But on the platforms it compiles to, Ocaml can generate object files that look like they came from C. I use this feature right now to integrate a compiler in an otherwise C++ project. Here's a link to the FFI documentation: http://caml.inria.fr/pub/docs/manual-ocaml/intfc.html

But I run on Debian stable on x86-64. Not exactly an exotic platform.

[ Parent | on HN ]

Re:C as an Intermediate Language (2012) by jjnoakes on Monday May 16, 2016 @08:03AM (#11705744)

Is this not the bytecode embedded in C which I mentioned above?

[ Parent | on HN ]

Re:C as an Intermediate Language (2012) by loup-vaillant on Monday May 16, 2016 @07:20PM (#11710358)

No. It's native code, with the native runtime embedded in C.

[ Parent | on HN ]

Re:C as an Intermediate Language (2012) by jjnoakes on Tuesday May 17, 2016 @08:24AM (#11712979)

I see. So it gets me part of the way there; if only ocaml ran on my platforms.

Thanks.

[ Parent | on HN ]