3 ms·
Have you looked at OCaml? [0] [0] https://en.wikipedia.org/wiki/OCaml#Features https://en.wikipedia.org/wiki/OCaml#Features
by sn9 10y ago
Have you looked at OCaml? [0]
[0] https://en.wikipedia.org/wiki/OCaml#Features https://en.wikipedia.org/wiki/OCaml#Features
- jjnoakes 10y agoI am familiar with ocaml at a high level. I have written a few toy interpreters in it. The c code it generates is basically the ocaml bytecode interpreter and the bytecode of my program. Not what I was thinking of.
- sn9 10y agoIt also has a native code compiler and a foreign function interface.
- jjnoakes 10y agoIt can generate portable and human readable C? Can you link to some information about that?
- loup-vaillant 10y agoNothing 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 http://caml.inria.fr/pub/docs/manual-ocaml/intfc.html But I run on Debian stable on x86-64. Not exactly an exotic platform.
- jjnoakes 10y agoIs this not the bytecode embedded in C which I mentioned above?
- loup-vaillant 10y agoNo. It's native code, with the native runtime embedded in C.
- jjnoakes 10y agoI see. So it gets me part of the way there; if only ocaml ran on my platforms. Thanks.