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 69C06BB9C for ; Thu, 19 Jan 2006 23:32:49 +0100 (CET) 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 k0JMWnQH030089 for ; Thu, 19 Jan 2006 23:32:49 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA15366 for ; Thu, 19 Jan 2006 23:32:48 +0100 (MET) Received: from lynndie.uscs.susx.ac.uk (lynndie.uscs.susx.ac.uk [139.184.14.87]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k0JMWlBJ030086 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 19 Jan 2006 23:32:48 +0100 Received: from cpc1-brig7-3-0-cust74.brig.cable.ntl.com ([82.4.141.74]:38806) by lynndie.uscs.susx.ac.uk with esmtpsa (TLSv1:RC4-MD5:128) (Exim 4.43) id ITD2MN-000LGZ-GJ for caml-list@inria.fr; Thu, 19 Jan 2006 22:32:47 +0000 Subject: Re: [Caml-list] Toplevel wishlist From: David Teller To: Caml list In-Reply-To: <43CFF2D6.4080108@andrej.com> References: <43CFF2D6.4080108@andrej.com> Content-Type: text/plain; charset=UTF-8 Date: Thu, 19 Jan 2006 22:32:46 +0000 Message-Id: <1137709966.5973.39.camel@titania> Mime-Version: 1.0 X-Mailer: Evolution 2.2.3 Content-Transfer-Encoding: quoted-printable X-Miltered: at concorde with ID 43D01391.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 43D0138F.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 toplevel:01 wishlist:01 ens-lyon:01 andrej:01 stdin:01 stdout:01 toplevel:01 toplevels:01 syntax:01 cheers:01 polymorphic:01 abstract:01 abstract:01 essentially:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Le jeudi 19 janvier 2006 =C3=A0 21:13 +0100, Andrej Bauer a =C3=A9crit : > 2) Do not hardcode stdin/stdout communication into toplevel. Instead, > have a toplevel that communicates with the outside in a more abstract > way. Thus it should be relatively easy to create toplevels that are > equipped with line editing, that communicate through a graphical user > interface (in a natural way), that talk via Texmacs, etc. TeXmacs ? Talk about *extremely* pretty-printing :) More seriously, do you have any application in mind ? I wonder what kind of "abstract" information should be communicated.=20 > 3) Equip toplevel with pretty printers that can manage polymorphic > types, and essentially make it possible to pretty print _everything_. It > should be possible to create a toplevel linked to a graphical user > interface that shows pictures and typeset text as results. Nice idea, too. It reminds me of a Microsoft video I saw some time ago about how The Next Big Thing In Programming Languages (tm) would be getting rid of syntax. Cheers, David --=20 Read, Write, and Publish Standard eBooks Free, Open Software, Open Standards and multi-platform The OpenBerg project http://www.openberg.org