I totally agree that the Java for Web is somewhat overcomplicated.
Once, I have written a small web-app in Python+Clearsilver+(Sqlite and PostgreSQL afterwards), as a CGI app, and then as a mod_python on Apache-HTTPD-2 one. This web-app processed user input, queried the DB, constructed the HTML on the fly (out of more than 300 rows of data fetched from the DB) faster than the Tomcat loads its default greetings page.
Next time I would like to try the OCamlnet, though, from my point of view, it lacks some features.
There is one more benefit from programming in OCaml compared with Python, Lisp, Java, etc. It is the comparably strong type system and automatic types inference.
I also chose OCaml to program arithmetic and I am really very pleased with my choice.
Nowdays I use OCaml to do many other things as well, and learning OCaml and functional programming was an enlightening experience.