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
Toplevel wishlist
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: David Teller <David.Teller@e...>
Subject: Re: [Caml-list] Toplevel wishlist
Le jeudi 19 janvier 2006 à 21:13 +0100, Andrej Bauer a écrit :
> 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. 

> 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.

Read, Write, and Publish Standard eBooks
  Free, Open Software, Open Standards and multi-platform
    The OpenBerg project