The real problem is, the time limit for most questions is 1 second, and pretty much all of managed environments take significant times to start, so they're out. But why ocaml or haskell aren't available, i don't know