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
replacing Mathematica was: Polymorphic pretty printing
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christophe TROESTLER <debian00@t...>
Subject: Re: [Caml-list] Re: replacing Mathematica was: Polymorphic pretty printing
On Thu, 28 Oct 2004, Andrej Bauer <> 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

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.