Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] camlp4 vs. ocamllex/yacc?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-01-24 (14:32)
From: Jacques Carette <carette@m...>
Subject: RE: [Caml-list] camlp4 vs. ocamllex/yacc?
I am unsure if this solution satisfies all of your requirements, but all of
the functionality you mention below is already available in Maple, both
interactively and in batch.  And for a much larger set of functions than
you'd likely ever have the patience to work with...  And the Units package
(as of Maple 7) includes more units/dimensions than any sane human being
would ever care to know about [the author of that package was, umm,
thorough, right, that's it :-) ].

If nothing else, you should at least use Maple to test any eventual
implementation you find.


PS: disclaimer - I used to be affiliated with Maple, but no longer am.
PPS: even the set of 'usual' units forms a rather nasty poset, much more
complicated than one would imagine.  Consistency checking is fully
decidable, but an interesting exercise nevertheless.

-----Original Message-----
[]On Behalf Of Daniel Andor
Sent: Friday, January 24, 2003 9:16 AM
Subject: [Caml-list] camlp4 vs. ocamllex/yacc?


I want to write a smallish translator that would read mathematical formulae
an easy to read (for humans, that is) format and translate them to a
language (ocaml, fortran, c, latex, etc) for output.  In the process it
do simple consistency checks (like making sure the dimensionality of
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?

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list:

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: