as I understand plv8x, it's close to PGOcaml, people working on ocsigen are designing something more integrated to eliom but it sounds very experimental right now