My personal opinion is that web specifications should not be written in Ocaml. Things are better now, but when the decision was made to do the whole spec in it,

My personal opinion is that web specifications should not be written in Ocaml. Things are better now, but when the decision was made to do the whole spec in it, you couldn't even run it on Windows. It also didn't support float32 at the time (might still not support it?) so the reference interpreter had to manually implement float32. I have nothing against people who like MLs though, and they can be the right solution for certain problems.