From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 11B06BC40 for ; Thu, 28 Oct 2004 22:45:05 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i9SKj4qF022917 for ; Thu, 28 Oct 2004 22:45:04 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA08016 for ; Thu, 28 Oct 2004 22:45:04 +0200 (MET DST) Received: from laurie.fmf.uni-lj.si (BSN-77-186-71.dsl.siol.net [193.77.186.71]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i9SKj2E9000519 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NO) for ; Thu, 28 Oct 2004 22:45:04 +0200 Received: from localhost ([127.0.0.1]) by laurie.fmf.uni-lj.si with esmtp (Exim 4.34) id 1CNH8t-0003di-Dy; Thu, 28 Oct 2004 22:45:07 +0200 Message-ID: <41815A52.3040003@andrej.com> Date: Thu, 28 Oct 2004 22:45:06 +0200 From: Andrej Bauer User-Agent: Mozilla Thunderbird 0.8 (X11/20040918) X-Accept-Language: en-us, en MIME-Version: 1.0 To: Christophe TROESTLER Cc: caml-list@inria.fr Subject: Re: [Caml-list] Re: replacing Mathematica was: Polymorphic pretty printing References: <9410EC84C0872141B27A2726613EF45D02A52DE0@psmrdcex01.psm.pin.safeco.com> <4180D736.2020606@andrej.com> <20041028.151108.108534348.debian00@tiscali.be> In-Reply-To: <20041028.151108.108534348.debian00@tiscali.be> X-Enigmail-Version: 0.86.1.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: text/plain; charset=ISO-8859-2 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 41815A50.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 41815A4E.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; andrej:01 andrej:01 caml-list:01 replacing:01 christophe:01 troestler:01 wrote:01 imho:01 notation:01 manipulates:01 vectors:01 matrices:01 haskell:01 toplevel:01 ocaml:01 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.0 X-Spam-Level: Christophe TROESTLER wrote: > > 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. I think you just convencied me to use Haskell and its type classes. Seriously, I wonder if a purely functional language might not be better for my purposes. > 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. Yes, what to the makers of ocaml say? I am afraid there is no way to avoid dependence on toplevel code, since the pretty printer must know something about the representation of types and values. But that's not my worry anymore. I am off to haskell, Bye bye. Andrej