I thought you might be interested in a couple of projects I have been
working on: ocamljs, an OCaml to Javascript compiler, and froc, a
library for functional reactive programming in OCaml:

  http://code.google.com/p/ocamljs/
  http://code.google.com/p/froc/

Here are some blog posts working through an example:

  http://ambassadortothecomputers.blogspot.com/2009/04/functional-react...

It's interesting (to me at least) to compare the froc and Flapjax ways
of doing things; as an OCaml partisan I like a typed API, and I think
the monadic approach gives a nice way to control the granularity of
recomputation, but interacting with the DOM is less convenient.

Best regards,

Jake