Following some interesting queries from a customer, I have expanded 
the "Benefits of OCaml" pages to include a more thorough discussing of lexing 
and parsing (both with camlp4's stream-based recusive descent parsers and 
ocamllex+ocamlyacc), evaluation (calculator example and a complete "TinyML" 
interpreter) and symbolic manipulation (differentiation, simplification and 
pretty printing).

Check out "parsing" and "examples":

  http://www.ffconsultancy.com/free/ocaml/

I'd like to know what people think. :-)

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
Objective CAML for Scientists
http://www.ffconsultancy.com/products/ocaml_for_scientists