Hi,

I want to write a smallish translator that would read mathematical formulae in 
an easy to read (for humans, that is) format and translate them to a computer 
language (ocaml, fortran, c, latex, etc) for output.  In the process it could 
do simple consistency checks (like making sure the dimensionality of physical 
equations are correct, for example) on the parse tree. 

What are the advantages/disadvantages of using camlp4 vs. a combination of 
ocamllex and ocamlyacc?  

Is there already a translator like this out there (to save me the effort)?  

Any tips on how consistency checks on the equations could be made harnessing 
the power of the type system?

Thanks,
Daniel.
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners