My uses of camlp4: - "let try n = expr in expr with handlers" - LOGging - recently, matrix access/assignment like in bigarrays but for built-in arrays (long ago I also played with matlab-like notation) - js_of_ocaml - list comprehensions and pa_monad, but for educational purposes so far.