On Thu, 28 Oct 2004, Andrej Bauer <Andrej.Bauer@andrej.com> wrote:
> 
> HENRIKSON, JEFFREY wrote:
> >
> > [...] derivative notation right!
> 
> [...] would use camlp4 to enrich syntax with notation for finite
> sets.

IMHO, the main "annoyance" with that goal is notational: there will be
many uses of "+" for example and each of these will need its own
notation.  While I am not bothered by the two "+." and "+", this can
become heavy when one manipulates lots of different structures
(vectors, matrices, polynomials, groups,...).  GCaml will be great for
this.

About the original thread, "polymorphic pretty printing", it would be
nice if folks at INRIA could give indications on what they think the
better solution is -- it would be nice if it could be made independent
of possible changes in the toplevel code.

ChriS