From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA07841; Fri, 30 Mar 2001 18:50:37 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 SAA07965 for ; Fri, 30 Mar 2001 18:50:36 +0200 (MET DST) Received: from shell5.ba.best.com (shell5.ba.best.com [206.184.139.136]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f2UGoYX15493 for ; Fri, 30 Mar 2001 18:50:34 +0200 (MET DST) Received: from localhost (bpr@localhost) by shell5.ba.best.com (8.9.3/8.9.2/best.sh) with ESMTP id IAA08217; Fri, 30 Mar 2001 08:50:29 -0800 (PST) Date: Fri, 30 Mar 2001 08:50:29 -0800 (PST) From: Brian Rogoff To: David Chemouil cc: caml-list@inria.fr Subject: Overloading again (Was Re: [Caml-list] Interfacing C++ and Ocaml) In-Reply-To: <3AC449BF.A91A54E8@irit.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, 30 Mar 2001, David Chemouil wrote: > PS: BTW, I would like to thank these happy volunteers who aim at > packaging a Caml Development Kit. IMO, this is truly a good idea, which > may help Caml spread. Just a question to the Caml team: I would like to > know if (when?) you intend to include polymorphic I/O and some kind of > overloading in a forthcoming release of Caml. It seems to me Pierre had > written some mails about this, but is is now a long time ago, how is the > situation today? An even longer time ago I asked about overloading and got a nice long reply from Francois Rouaix, describing the history of overloading in Caml and ending with something like "Jun Furuse is now working on it". You can read about the latest incarnation of his work by going to http://pauillac.inria.fr/jfla/2001/actes/index.html and downloading Generic Polymorphism in ML which as you can guess is in English unlike his paper last year. I'd also love to know if and when this will make it into Ocaml since this is one of the few things that I dislike about ML style languages and even after quite a bit of Caml programming I still miss overloading. -- Brian ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr