Skydeck Blog - Latest Comments in ocamljs, OCaml to Javascript compiler

Re: ocamljs, OCaml to Javascript compiler

Jake — Mon, 13 Oct 2008 12:32:40 -0000

Thanks Florian. I am working on a new release of ocamljs (see the Google Code link above) and will make sure this is fixed.

Re: ocamljs, OCaml to Javascript compiler

Florian Hars — Sat, 11 Oct 2008 17:27:47 -0000

Another try:

The code should compile to someting like

for (var i$60 = 1; i$60 <= 5; i$60++) (function() { var i$60$ = i$60; a$59 = $(_f(function (x$61) { return x$61 + i$60$; }), a$59)})();

instead of

for (var i$60 = 1; i$60 <= 5; i$60++) a$59 = $(_f(function (x$61) { return x$61 + i$60; }), a$59);

Only functions, not blocks, are scopes in javascript.
The assers in Isaacs code should obviously be

assert ((a.(0) 3) == 8);
assert ((a.(1) 3) == 7);;

And print_int in ocamljs adds a newline that ocaml proper doesn't add.

Re: ocamljs, OCaml to Javascript compiler

Florian Hars — Sat, 11 Oct 2008 17:26:14 -0000

I made you a bug report but your submission form has eated it.

Re: ocamljs, OCaml to Javascript compiler

Florian Hars — Sat, 11 Oct 2008 17:24:30 -0000

"with" in javascript is absolutely evil. The code should compile to someting like

for (var i$60 = 1; i$60

Re: ocamljs, OCaml to Javascript compiler

Jake — Mon, 05 May 2008 13:02:22 -0000

Issac, thanks for the bug report. I will try to get a fix released soon.

Re: ocamljs, OCaml to Javascript compiler

Issac Trotts — Mon, 05 May 2008 01:27:41 -0000

Nice stuff, thanks very much for implementing it. In the interest of making it even nicer, here's a bug report. It looks like there is a bug with support for closures, that could be fixed using the JS 'with' construct. For details, search for "(with" in http://blogs.bl0rg.net/netz...

let foo() =
let a = ref [] in
for i = 1 to 5 do
a := (fun x -> x + i) :: !a;
done;
Array.of_list !a;;

let foo_test() =
let a = foo() in
assert ((a.(0) 3) == 4);
assert ((a.(1) 3) == 5);;

foo_test();;

Re: ocamljs, OCaml to Javascript compiler

Jake — Fri, 12 Oct 2007 13:36:02 -0000

I just read the source code; it is very clean. However, there is some documentation on the internals in the OCaml-Java project; see

http://cadmium.x9c.fr/downl...

Your snippet manager would be useful in ocamljs since minimizing the resulting Javascript is important for web apps.

Re: ocamljs, OCaml to Javascript compiler

Massimiliano — Fri, 12 Oct 2007 06:13:37 -0000

Wow! I just downloaded it and this seems a top quality work.

Did you have access to some documentation on the internals of the ocaml compiler or did you just read the source code?

In case you had access to docs, could you please tell me what you had to do to obtain it?
If you just read the source would you like to write some documents (a tutorial or a blog post or whatever you like) explaining a bit the internals of the compiler?

I'm working on a snippet manager to ease the distribution and reuse of ocaml code and to reduce the size of the binary by linking only those pieces of libraries that are used in your application and not the whole module. We already have a working prototype implementation using ocamldoc but we need to access the internals of the compiler to get a better tool. Our snippet manager will be released as free software.
If you are interested I can provide you further details.